Daniel Samson daniel
  • Joined on 2026-02-01
daniel pushed to main at daniel/danos 2026-08-01 10:22:10 +00:00
1365a245ba docs: security track live state — HS green at 113
daniel created branch feat/security-group-4 in daniel/danos 2026-08-01 09:06:01 +00:00
daniel pushed to main at daniel/danos 2026-08-01 09:06:01 +00:00
ec154a975f docs: security track live state — H2 green at 112
daniel pushed to feat/security-group-4 at daniel/danos 2026-08-01 09:06:01 +00:00
36a7cc5fe9 kernel: ring 0 cannot execute a user page
daniel pushed to main at daniel/danos 2026-08-01 08:05:41 +00:00
b3011fbb40 merge: security track group 3 — every protocol on the envelope, ids owned
1b1c587c14 library: the harness keeps the subscribers, and an id belongs to whoever opened it
2719b93530 library: the last three protocols speak the envelope
d2dfbcabf8 library: five protocols speak the envelope
Compare 4 commits »
daniel pushed to feat/security-group-3 at daniel/danos 2026-08-01 08:05:28 +00:00
1b1c587c14 library: the harness keeps the subscribers, and an id belongs to whoever opened it
daniel pushed to main at daniel/danos 2026-08-01 06:20:41 +00:00
776b04184e docs: security track live state — P4b green at 110
daniel pushed to feat/security-group-3 at daniel/danos 2026-08-01 06:20:41 +00:00
2719b93530 library: the last three protocols speak the envelope
daniel created branch feat/security-group-3 in daniel/danos 2026-08-01 05:47:17 +00:00
daniel pushed to feat/security-group-3 at daniel/danos 2026-08-01 05:47:17 +00:00
d2dfbcabf8 library: five protocols speak the envelope
daniel pushed to main at daniel/danos 2026-08-01 05:47:16 +00:00
e250d8cd79 docs: security track live state — P4a green at 110
daniel pushed to main at daniel/danos 2026-08-01 03:45:16 +00:00
b004b9c3eb merge: security track group 2 — the protocol namespace replaces ServiceId
3e6e21bf0a docs: security track group 2 merged
0fbd2c8f12 init: a protocol you were not granted does not exist
1379b699f3 init: /protocol replaces the ServiceId registry
1ff0991452 library: the envelope — one packet shape for every protocol
Compare 5 commits »
daniel pushed to feat/security-group-2 at daniel/danos 2026-08-01 03:44:59 +00:00
3e6e21bf0a docs: security track group 2 merged
daniel pushed to feat/security-group-2 at daniel/danos 2026-08-01 03:44:48 +00:00
0fbd2c8f12 init: a protocol you were not granted does not exist
daniel pushed to feat/security-group-2 at daniel/danos 2026-08-01 03:44:16 +00:00
7f3eb848f0 init: a protocol you were not granted does not exist
daniel pushed to main at daniel/danos 2026-08-01 03:01:41 +00:00
73aea4582b docs: the security track plan carries its live state on main
daniel created branch feat/security-group-2 in daniel/danos 2026-08-01 02:55:32 +00:00
daniel pushed to feat/security-group-2 at daniel/danos 2026-08-01 02:55:32 +00:00
1379b699f3 init: /protocol replaces the ServiceId registry
1ff0991452 library: the envelope — one packet shape for every protocol
Compare 2 commits »
daniel pushed to main at daniel/danos 2026-07-31 19:58:23 +00:00
ac01f627d1 docs: security track group 1 merged
daniel pushed to main at daniel/danos 2026-07-31 19:58:12 +00:00
f3bc23cb81 merge: security track group 1 — path flag-day and checked user copies
8d4a7cf240 kernel: user memory is reached only through a checked copy
c4f16a5448 build: the unix paths retire — configuration, logs, and volumes move into the danos tree
Compare 3 commits »