Edithistory:SeL4
From EverybodyWiki Bios & Wiki
| oldid | date/time | username | edit summary |
|---|---|---|---|
| 1330899528 | 2026-01-03T06:16:50Z | Indolering | /* Draft:seL4 */ |
| 1330898089 | 2026-01-03T06:11:22Z | Indolering | /* Draft:seL4 */ |
| 1330884586 | 2026-01-03T03:53:36Z | Indolering | /* Inter-process communication (IPC) */ |
| 1330868639 | 2026-01-03T01:38:01Z | Indolering | /* Inter-process communication (IPC) */ |
| 1330862450 | 2026-01-03T00:49:51Z | Indolering | /* Extending verification to additional configurations */ |
| 1330862029 | 2026-01-03T00:46:51Z | Indolering | /* Comparison with other IPC models */ |
| 1330861931 | 2026-01-03T00:46:10Z | Indolering | /* Inter-process communication (IPC) */ |
| 1330861331 | 2026-01-03T00:40:22Z | Indolering | /* Control-plane and data-plane separation */ |
| 1330858327 | 2026-01-03T00:16:55Z | Indolering | /* Recognition */ |
| 1330858227 | 2026-01-03T00:16:14Z | Indolering | /* Inter-process communication (IPC) */ |
| 1330857836 | 2026-01-03T00:13:17Z | Indolering | /* Inter-process communication (IPC) */ |
| 1330857689 | 2026-01-03T00:12:13Z | Indolering | /* Inter-process communication (IPC) */ |
| 1330857427 | 2026-01-03T00:10:09Z | Indolering | /* Inter-process communication (IPC) */ |
| 1330857207 | 2026-01-03T00:08:26Z | Indolering | /* Design */ |
| 1330856932 | 2026-01-03T00:06:17Z | Indolering | /* Capability-based access control */ |
| 1330856848 | 2026-01-03T00:05:51Z | Indolering | /* Capability-based access control */ |
| 1330856652 | 2026-01-03T00:04:21Z | Indolering | /* Capability-based access control */ |
| 1330855947 | 2026-01-03T00:00:15Z | Indolering | /* Capability-based access control */ |
| 1330854142 | 2026-01-02T23:45:13Z | Indolering | |
| 1330851472 | 2026-01-02T23:24:06Z | Indolering | /* Design */ |
| 1330832734 | 2026-01-02T21:04:00Z | ~2026-36340 | /* Formal verification */ |
| 1330830409 | 2026-01-02T20:49:32Z | ~2026-36340 | |
| 1330830262 | 2026-01-02T20:48:35Z | ~2026-36340 | |
| 1330829301 | 2026-01-02T20:41:54Z | ~2026-36340 | |
| 1330827939 | 2026-01-02T20:31:39Z | ~2026-36340 | /* Design */ |
| 1330827626 | 2026-01-02T20:29:30Z | ~2026-36340 | /* Microkernel architecture */ |
| 1330824789 | 2026-01-02T20:10:44Z | ~2026-36340 | /* Microkernel architecture */ |
| 1330824395 | 2026-01-02T20:08:07Z | ~2026-36340 | |
| 1330822870 | 2026-01-02T19:58:05Z | ~2026-36340 | |
| 1328530718 | 2025-12-20T12:36:45Z | Indolering | |
| 1328491163 | 2025-12-20T05:33:43Z | Indolering | |
| 1328490991 | 2025-12-20T05:31:22Z | Indolering | init |
