[Oberon] BootManager.