This website requires JavaScript.
2ebfccc8ed
virtio-gpu: the scanout device arrives with the spawn
Daniel Samson
2026-08-08 19:48:00 +01:00
f23f073624
kernel: the device rides system_spawn, so a driver never runs without it
Daniel Samson
2026-08-08 19:39:32 +01:00
637bf2e0b1
docs: correct a stale ordering note — D9 landed without D7
Daniel Samson
2026-08-08 19:26:48 +01:00
cb8d1e2e51
docs: the grant rides system_spawn, atomically
Daniel Samson
2026-08-08 19:26:32 +01:00
8b628a4a7d
docs: there is no virtio-gpu standalone bring-up to lose
Daniel Samson
2026-08-08 19:22:22 +01:00
a5840789dd
docs: the acpi service is discovery, not a driver awaiting an assignment
Daniel Samson
2026-08-08 19:14:54 +01:00
f7151ed577
kernel: the device table has no ceiling; a runaway is charged to whoever caused it
Daniel Samson
2026-08-08 18:40:20 +01:00
5492607a61
docs: D7 blocked, and D8 reordered after D9
Daniel Samson
2026-08-08 18:26:37 +01:00
81dd1e9318
pci: the host bridge arrives by delegation too
Daniel Samson
2026-08-08 18:25:16 +01:00
a2d6056772
usb: the xHCI controller arrives by delegation, not by claiming
Daniel Samson
2026-08-08 17:55:59 +01:00
33376f24ab
test: the attacker the device suite never had
Daniel Samson
2026-08-08 17:23:17 +01:00
3111c7c5e6
kernel: device_transfer — you may give away what you hold
Daniel Samson
2026-08-08 17:11:59 +01:00
547d0ec46b
docs: device authority — the how, and the run that deletes the ceilings
Daniel Samson
2026-08-08 17:01:25 +01:00
5ad42ceac3
docs: only drivers hold devices; services speak protocols
Daniel Samson
2026-08-08 16:40:37 +01:00
8e388e048a
docs: one line still had init minting the root grants
Daniel Samson
2026-08-08 16:35:54 +01:00
ef793d1320
docs: the device manager is the root of device authority, not init
Daniel Samson
2026-08-08 16:35:32 +01:00
139c4f624f
docs: mechanism, policy and configuration are three things
Daniel Samson
2026-08-08 16:31:50 +01:00
3b24b541b0
docs: phase 2 design — you hold what you were given
Daniel Samson
2026-08-08 12:58:19 +01:00
5d55217212
usb: a slot the controller granted is always handed back
Daniel Samson
2026-08-08 12:16:42 +01:00
729b40ece7
usb: a device has as many interfaces as it declares
Daniel Samson
2026-08-08 12:05:33 +01:00
6328823ef1
usb: a configuration block is as long as the device says it is
Daniel Samson
2026-08-08 11:53:01 +01:00
69fbef40c0
usb: the controller says how many device slots it has
Daniel Samson
2026-08-08 11:39:49 +01:00
f4eb88e7d2
build: a new compile-time ceiling declares itself or does not land
Daniel Samson
2026-08-08 11:27:27 +01:00
568823a4fb
docs: L1 was wrong — reclamation is not a death-sweep problem
Daniel Samson
2026-08-08 11:15:11 +01:00
4398eb7cc4
docs: scope the bounds track's unattended run
Daniel Samson
2026-08-08 11:13:20 +01:00
a86559648e
kernel: a refusal names its rule, and two bounds stop failing open
Daniel Samson
2026-08-08 11:09:54 +01:00
7db5fba884
kernel: boot on AMD — SYSRET puts the RPL in the STAR base
Daniel Samson
2026-08-08 11:07:55 +01:00
a85f29edc9
merge: security track group 4 — SMEP, the SYSRET guard, and SMAP
Daniel Samson
2026-08-01 12:20:54 +01:00
5a5146ec13
kernel: ring 0 reaches user memory only through the checked copy
feat/security-group-4
Daniel Samson
2026-08-01 12:20:44 +01:00
1365a245ba
docs: security track live state — HS green at 113
Daniel Samson
2026-08-01 11:22:08 +01:00
cb30faf15f
kernel: a hostile return address cannot fault the kernel
Daniel Samson
2026-08-01 11:22:07 +01:00
ec154a975f
docs: security track live state — H2 green at 112
Daniel Samson
2026-08-01 10:05:59 +01:00
36a7cc5fe9
kernel: ring 0 cannot execute a user page
Daniel Samson
2026-08-01 10:05:58 +01:00
b3011fbb40
merge: security track group 3 — every protocol on the envelope, ids owned
Daniel Samson
2026-08-01 09:05:38 +01:00
1b1c587c14
library: the harness keeps the subscribers, and an id belongs to whoever opened it
feat/security-group-3
Daniel Samson
2026-08-01 09:05:26 +01:00
776b04184e
docs: security track live state — P4b green at 110
Daniel Samson
2026-08-01 07:20:39 +01:00
2719b93530
library: the last three protocols speak the envelope
Daniel Samson
2026-08-01 07:20:37 +01:00
e250d8cd79
docs: security track live state — P4a green at 110
Daniel Samson
2026-08-01 06:16:07 +01:00
d2dfbcabf8
library: five protocols speak the envelope
Daniel Samson
2026-08-01 06:15:25 +01:00
b004b9c3eb
merge: security track group 2 — the protocol namespace replaces ServiceId
Daniel Samson
2026-08-01 04:45:14 +01:00
3e6e21bf0a
docs: security track group 2 merged
feat/security-group-2
Daniel Samson
2026-08-01 04:44:57 +01:00
0fbd2c8f12
init: a protocol you were not granted does not exist
Daniel Samson
2026-08-01 04:44:15 +01:00
73aea4582b
docs: the security track plan carries its live state on main
Daniel Samson
2026-08-01 04:01:39 +01:00
1379b699f3
init: /protocol replaces the ServiceId registry
Daniel Samson
2026-08-01 02:39:07 +01:00
1ff0991452
library: the envelope — one packet shape for every protocol
Daniel Samson
2026-07-31 21:48:03 +01:00
ac01f627d1
docs: security track group 1 merged
Daniel Samson
2026-07-31 20:58:20 +01:00
f3bc23cb81
merge: security track group 1 — path flag-day and checked user copies
Daniel Samson
2026-07-31 20:58:10 +01:00
8d4a7cf240
kernel: user memory is reached only through a checked copy
Daniel Samson
2026-07-31 20:57:49 +01:00
c4f16a5448
build: the unix paths retire — configuration, logs, and volumes move into the danos tree
Daniel Samson
2026-07-31 19:41:35 +01:00
e4da4e0610
docs: security track phase 0 — baseline green (106/106)
Daniel Samson
2026-07-31 19:19:53 +01:00
9a3238025d
docs: the security-track execution plan — path flag-day, namespace phases, kernel hardening
Daniel Samson
2026-07-31 19:10:23 +01:00
c96ef87714
docs: the communication stack — /protocol namespace, layered model, non-unix hierarchy, SMEP/SMAP plan
Daniel Samson
2026-07-31 18:11:28 +01:00
de9870175f
docs: the Python track — CPython via zig cc, the C layer, streams, dynamic libraries
Daniel Samson
2026-07-31 13:41:40 +01:00
be04ebe954
build: delete module_homes — imports resolve through the declared zon
Daniel Samson
2026-07-30 07:49:19 +01:00
62d6a7a150
build: the root's ship list becomes a declarative table
Daniel Samson
2026-07-30 07:36:21 +01:00
fa8203cdba
kernel: the IOMMU backends move behind the architecture boundary
Daniel Samson
2026-07-30 07:16:08 +01:00
e53d6ebafb
library: client modules end in -client, like protocols end in -protocol
Daniel Samson
2026-07-30 06:56:12 +01:00
4476208361
build: exact per-binary imports — the pre-wired default set is gone
Daniel Samson
2026-07-30 06:42:31 +01:00
c621b649f6
build: lazy dependencies — a build loads only what it ships
Daniel Samson
2026-07-30 06:26:22 +01:00
d27670ec39
tests: fix the two stale kernel self-tests the FHS boot tree broke
Daniel Samson
2026-07-30 06:23:31 +01:00
ab7594df6e
docs: commit the new-driver checklist, step 2 rewritten for packages
Daniel Samson
2026-07-30 04:41:41 +01:00
d03942b543
docs: catch the docs up with the finished package split
Daniel Samson
2026-07-30 04:24:34 +01:00
3f9b6813f7
build: thread-test package opts back into threading
Daniel Samson
2026-07-30 04:24:34 +01:00
bc2eb67581
build: phase 3 — split image assembly and QEMU runners out of the root
Daniel Samson
2026-07-30 04:11:22 +01:00
cb98a9844e
build: phase 2 wave C — test fixtures build as packages
Daniel Samson
2026-07-30 04:07:19 +01:00
4701fbd123
build: phase 2 wave B — drivers build as packages
Daniel Samson
2026-07-30 04:04:50 +01:00
3b23b11b0e
build: phase 2 wave A — services build as packages
Daniel Samson
2026-07-30 04:02:49 +01:00
198767bb30
igpu: WIP
feat/igpu
Daniel Samson
2026-07-30 03:53:34 +01:00
902e4a0a9e
docs: catch the build docs up with the package split
Daniel Samson
2026-07-26 23:12:14 +01:00
15575960bd
build: single-source the default import set; delegate library tests
Daniel Samson
2026-07-26 23:10:10 +01:00
6f4fdc2789
build: phase 2 pilot — pci-bus builds as a package
Daniel Samson
2026-07-26 22:55:47 +01:00
721288c516
build: phase 1 — library domains become packages
Daniel Samson
2026-07-26 22:53:53 +01:00
4194bb6e32
build: phase 0 — extract the build-support package
Daniel Samson
2026-07-26 22:49:05 +01:00
fc0b934b7f
docs: add the build-packages plan
Daniel Samson
2026-07-26 22:43:22 +01:00
6a687fbc2b
iommu: AMD-Vi backend behind the vendor-neutral core
Daniel Samson
2026-07-23 20:55:29 +01:00
4e7cbc9792
iommu: DMA-region capabilities — per-grant reachability, protocol flag-day
Daniel Samson
2026-07-23 20:41:14 +01:00
e94adcfc02
iommu: per-device domains with interim DMA-pool enforcement
Daniel Samson
2026-07-23 20:09:09 +01:00
f477ef7d9f
iommu: enable Intel VT-d translation with per-claim device confinement
Daniel Samson
2026-07-23 19:56:41 +01:00
9e649178bf
pci: full driver-side library (MSI/MSI-X, power, FLR, extended caps); xhci goes interrupt-driven
Daniel Samson
2026-07-23 18:53:33 +01:00
e376c9e908
build: keep test fixtures out of a no-option build
daniel and Claude Opus 4.8
2026-07-26 17:49:40 +01:00
48b9ed4001
drivers: log devices.csv columns + friendly labels for all buses
daniel and Claude Opus 4.8
2026-07-26 17:32:27 +01:00
081ba1d74e
init: data-driven boot service list via /etc/init.csv
daniel and Claude Opus 4.8
2026-07-26 17:13:51 +01:00
203528c8a7
device-manager: data-driven driver matching via /etc/devices.csv
daniel and Claude Opus 4.8
2026-07-26 16:43:13 +01:00
bf0c3fd3e0
kernel: strip debug info in non-Debug builds
feat/generic-display-driver
Daniel Samson
2026-07-23 02:17:50 +01:00
3af0110483
update docs/os-development/README.MD
Daniel Samson
2026-07-23 01:41:47 +01:00
757c6f14c3
re-org docs
Daniel Samson
2026-07-23 00:25:34 +01:00
52d6e372fd
re-org docs
Daniel Samson
2026-07-23 00:24:01 +01:00
f023f1cfd6
reorg: move test fixtures to test/system/services (source + boot volume)
Daniel Samson
2026-07-23 00:11:07 +01:00
b9cec7d1be
docs: fix two review findings from the reorg audit
Daniel Samson
2026-07-23 00:02:27 +01:00
6271278d4d
C6: update docs for the library/kernel + client split
Daniel Samson
2026-07-22 23:42:25 +01:00
37326c7664
C5: delete the runtime.zig and system.zig compatibility shims
Daniel Samson
2026-07-22 23:32:05 +01:00
23bcd77c58
C2: migrate consumers off the runtime shim to direct concern-module imports
Daniel Samson
2026-07-22 23:28:34 +01:00
dded46726b
reorg: relocate device/service clients (C3/C4)
Daniel Samson
2026-07-22 23:02:04 +01:00
60f32ee9ff
reorg: split the runtime into library/kernel concern modules (C1)
Daniel Samson
2026-07-22 22:53:13 +01:00
3e69712b97
reorg: rename library/runtime -> library/kernel (groundwork)
Daniel Samson
2026-07-22 22:27:39 +01:00
11f567ee20
kernel: flatten the device/discovery code, merge power into acpi, rename fdt
Daniel Samson
2026-07-22 21:49:20 +01:00
3a155cdc7d
reorg: move system/devices into system/kernel/devices
Daniel Samson
2026-07-22 21:35:30 +01:00
5b874fc756
reorg: move mmio into library/device and spell out its API
Daniel Samson
2026-07-22 21:28:32 +01:00
7d540c4b2f
reorg: normalise every protocol alias to its module name
Daniel Samson
2026-07-22 21:17:54 +01:00
ac2d102878
reorg: docs — library/device/ + library/protocol/ structure
Daniel Samson
2026-07-22 21:09:48 +01:00