Daniel Samson

daniel created branch feat/PS2 in daniel/danos

2026-07-11 03:19:07 +00:00

daniel pushed to main at daniel/danos

2026-07-11 02:45:47 +00:00

e499f500c3 adding clock system call

2ab0d129a2 Decode ACPI _HID names in device discovery

d702d2e9ae Decode PCI class codes in device discovery

3ec2d1828a docs: abi is the kernel↔runtime contract, not spoken by applications

21657943a8 Port I/O grants (io_read / io_write) + refresh stale driver docs

Compare 43 commits »

daniel pushed to m11-m12-drivers-and-naming at daniel/danos

2026-07-10 20:44:46 +00:00

2ab0d129a2 Decode ACPI _HID names in device discovery

daniel pushed to m11-m12-drivers-and-naming at daniel/danos

2026-07-10 20:35:22 +00:00

d702d2e9ae Decode PCI class codes in device discovery

daniel pushed to m11-m12-drivers-and-naming at daniel/danos

2026-07-10 19:38:42 +00:00

3ec2d1828a docs: abi is the kernel↔runtime contract, not spoken by applications

daniel pushed to m11-m12-drivers-and-naming at daniel/danos

2026-07-10 19:36:15 +00:00

21657943a8 Port I/O grants (io_read / io_write) + refresh stale driver docs

daniel pushed to m11-m12-drivers-and-naming at daniel/danos

2026-07-10 19:07:03 +00:00

e612d948d2 M16: IOMMU detection (DMAR parsing)

daniel pushed to m11-m12-drivers-and-naming at daniel/danos

2026-07-10 18:59:12 +00:00

4ef21fa083 M15: interrupts for PCI devices (ECAM config space + MSI)

daniel pushed to m11-m12-drivers-and-naming at daniel/danos

2026-07-10 18:44:00 +00:00

125a3b4993 M14b: DMA memory (dma_alloc / dma_free)

e7c7e7b94c M14a: memory-ordering / MMIO layer (library/mmio)

Compare 2 commits »

daniel pushed to m11-m12-drivers-and-naming at daniel/danos

2026-07-10 18:23:21 +00:00

a581712b09 M13: IPC capability passing

daniel pushed to m11-m12-drivers-and-naming at daniel/danos

2026-07-10 17:48:29 +00:00

8eb4210251 docs: document the supervision hierarchy and driver discovery

daniel pushed to m11-m12-drivers-and-naming at daniel/danos

2026-07-10 17:41:44 +00:00

56110b0019 Device manager (increment 3): the kernel stops spawning the bundle

afbf10f7fc Device manager (increment 2): system_spawn — actually start the driver

b61b7775b9 Update stale /sbin/ references to real FHS paths

be81394be3 Split the system contract into boot-handoff / abi / device-abi

47610e8ee2 Device manager (increment 1): discover + match

Compare 10 commits »

daniel created branch m11-m12-drivers-and-naming in daniel/danos

2026-07-10 17:41:44 +00:00

daniel pushed to main at daniel/danos

2026-07-08 14:04:37 +00:00

26ac97df31 test fault-on-AP and affinity; report the faulting core

37f72a4df8 add thread affinity: pin a task to a core

f02259cae0 close audited test gaps: discovery, W^X, power

5940864958 test the trampoline is inert (zeroed + NX) when dormant

91f2cfa17b add smp-retry test for the AP wake retry path

Compare 12 commits »

daniel pushed to main at daniel/danos

2026-07-08 09:42:59 +00:00

26d2f5259c document the multi-sink logging model

cb63d2e31b add multi-sink diagnostic log; make framebuffer optional

Compare 2 commits »

daniel pushed to main at daniel/danos

2026-07-08 09:06:50 +00:00

7d3417fe86 refactor kernel to use device platform discovery

daniel pushed to main at daniel/danos

2026-07-08 08:25:10 +00:00

2ee898a91e add device platform module with ACPI support

daniel pushed to main at daniel/danos

2026-07-08 08:17:36 +00:00

ea24c3d26c Update device/aml/aml - Auto-committed by Claude Code

daniel pushed to main at daniel/danos

2026-07-08 00:05:16 +00:00

d60e159678 Update docs/syscall - Auto-committed by Claude Code

daniel pushed to main at daniel/danos

2026-07-05 18:07:26 +00:00

53a33a7332 fix debug typos