| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 5 days | [CHORE] Add DDK testing, AsciiUtils tweaks, proof organization. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 8 days | [CHORE] Update CITATION.cff. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 11 days | feat: proofs: reworked proof files. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 11 days | feat: proofs: reworked proof files. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-03-01 | feat: ddk!: Breaking changes, the DDK has been reworked in C++ instead. | Amlal El Mahrouss | |
| chore: public, kernel: fixes and important patches. Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
 |
index : NeKernel | |
| Ne System's NeKernel: The Open Source Modular C++ Microkernel written in C++20. | Amlal El Mahrouss |
| summaryrefslogtreecommitdiffhomepage |