-
Notifications
You must be signed in to change notification settings - Fork 0
Boot sequence
Tristan Israël edited this page Feb 2, 2026
·
5 revisions
This page describes the boot sequence of a system built upon Safecor.
The provisioning of the system is not described here, please look at this document.
- The system is started by the user
- Depending on the provisioning type, the local boot loader or the PXE boot loader is executed
- XEN kernel is loaded
- Linux kernel is loaded
- Initial RAM FS is loaded
- XEN kernel is executed
- Linux kernel is executed
- Root filesystem is mounted
- OpenRC is started
- Runlevel sysinit is executed
- Hardware drivers are loaded
- ...
- Splash screen is shown
- ...
- Runlevel boot is executed
- ...
- Runlevel sysinit is executed
- Safecor initialization sequence is started
- Depending on the provisioning type, Alpine packages may be downloaded from the public repository, including Safecor and specific application packages, into the local repository
- Also depending on the provisioning type, Alpine ISO image may be downloaded
- Local PGP key is generated
- Local repository is signed with the new PGP key
- Safecor Dom0 daemon is started
- USB devices are identified and attached to XEN
- Communication channels are created
- Message channel
- Log channel
- Input channel
- Safecor packages are installed for the VMs
- safecor-sys-usb
- safecor-sys-gui