gazagnaire.org
Minimal OCaml PID 1
docs(pid1,openamp,rpmsg): remove SpaceOS product references from library READMEs
These are general-purpose OCaml libraries; their READMEs should describe
what the library does, not which product uses it.
+7
-8
+7
-8
README.md
+7
-8
README.md
···
1
1
# pid1
2
2
3
-
Minimal OCaml PID 1 for SpaceOS VMs.
3
+
Minimal OCaml PID 1 for Linux VMs.
4
4
5
-
Minimal init process for SpaceOS virtual machines running in LinuxKit-style VMs
6
-
with no shell or busybox. Mounts essential filesystems (devtmpfs, proc, sysfs),
7
-
handles signals for zombie reaping and graceful shutdown, reads the SpaceOS
8
-
superblock from virtio-blk devices, and provides a service supervisor state
9
-
machine with exponential backoff.
5
+
Minimal init process for LinuxKit-style VMs with no shell or busybox. Mounts
6
+
essential filesystems (devtmpfs, proc, sysfs), handles signals for zombie
7
+
reaping and graceful shutdown, reads the superblock from virtio-blk devices,
8
+
and provides a service supervisor state machine with exponential backoff.
10
9
11
10
The library uses C stubs for `mount(2)` and `reboot(2)` syscalls which have no
12
11
Eio equivalent. The companion `spaceos-init` binary is the actual init process:
···
43
42
- **Signal handling** -- `setup_signals` installs SIGCHLD (zombie reaping),
44
43
SIGTERM, and SIGINT handlers. `shutdown_requested` reports whether a
45
44
termination signal was received.
46
-
- **Superblock** -- `read_superblock` reads a 48-byte SpaceOS superblock from a
47
-
block device. `check_magic` validates the magic number (0x53504F53 / "SPOS").
45
+
- **Superblock** -- `read_superblock` reads a 48-byte superblock from a block
46
+
device. `check_magic` validates the magic number (0x53504F53 / "SPOS").
48
47
`check_crc` validates the CRC-32C. A Wire codec is provided for
49
48
encoding/decoding.
50
49
- **System control** -- `poweroff` and `halt` invoke `reboot(2)`.