Daniel Samson
ceacc6b514
Follow-up to the monorepo re-org. Suite 35/35 plus host tests green. POSIX compatibility is now its own library, library/posix/ (unistd, stdio), layered strictly over the runtime — it calls the runtime's IPC/heap, never system calls directly. The runtime is now POSIX-free (the danos-native application ABI). The VFS wire protocol is danos-native throughout (Stat -> FileStatus, .stat -> .status, O_CREAT -> create); the POSIX layer maps the POSIX spellings at the boundary. The coding standard's ABI-name exception is scoped to one place: a file is allowed POSIX spellings only if it lives under library/posix/ — everywhere else, danos naming with no exception. Naming fixes, all mechanical: - initrd -> initial-ramdisk: the source file, the module, the tool (make-initial-ramdisk.py), the artifact (initial-ramdisk.img, including the bootloader's load path), and the identifiers. - system/kernel/device-service.zig -> devices-broker.zig: it is ring-0 kernel code (the trusted device table + claim capability), not a ring-3 service. The future user-space device *manager* (policy) will live in system/services/. - Dropped the daemon `d` suffix: hpetd -> hpet, busd -> bus. A driver lives in system/drivers/, so the folder already says what it is; encoding the role in the name too is redundant. The coding standard drops that exception. - system/devices/aml/interp.zig -> interpreter.zig (the type was already Interpreter).
49 lines
1.4 KiB
Python
49 lines
1.4 KiB
Python
#!/usr/bin/env python3
|
|
"""Build-time initial_ramdisk packer. Concatenates user binaries into one image the
|
|
bootloader ferries to the kernel.
|
|
|
|
Usage: make-initial-ramdisk.py <out.img> [<name> <file>]...
|
|
|
|
Image layout (little-endian), mirroring src/user/proto/initial-ramdisk.zig:
|
|
Header : magic u32 ("DNRD"=0x444E5244), count u32
|
|
Entry*N : name [32]u8 (NUL-padded), offset u64, len u64
|
|
blobs : each entry's file bytes at its offset
|
|
"""
|
|
import struct
|
|
import sys
|
|
|
|
MAGIC = 0x444E5244
|
|
HEADER = struct.Struct("<II") # magic, count
|
|
ENTRY = struct.Struct("<32sQQ") # name[32], offset, len
|
|
|
|
|
|
def main() -> int:
|
|
out_path = sys.argv[1]
|
|
rest = sys.argv[2:]
|
|
if len(rest) % 2 != 0:
|
|
sys.stderr.write("usage: make-initial-ramdisk.py <out.img> [<name> <file>]...\n")
|
|
return 2
|
|
items = [(rest[i], rest[i + 1]) for i in range(0, len(rest), 2)]
|
|
|
|
table_end = HEADER.size + len(items) * ENTRY.size
|
|
entries = b""
|
|
blobs = []
|
|
off = table_end
|
|
for name, path in items:
|
|
with open(path, "rb") as f:
|
|
data = f.read()
|
|
entries += ENTRY.pack(name.encode()[:31], off, len(data))
|
|
blobs.append(data)
|
|
off += len(data)
|
|
|
|
with open(out_path, "wb") as f:
|
|
f.write(HEADER.pack(MAGIC, len(items)))
|
|
f.write(entries)
|
|
for b in blobs:
|
|
f.write(b)
|
|
return 0
|
|
|
|
|
|
if __name__ == "__main__":
|
|
sys.exit(main())
|