| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2024-07-06 | prefer __riscv_xlen over riscv64 | Kimplul | |
| 2024-07-05 | implement bkl | Kimplul | |
| + Start out using big kernel lock, apparently seL4 thinks its good enough. I might have a go at using a more fair lock, and possibly moving to more fine-grained locks if I really feel the need to get scalability up. | |||
| 2023-05-01 | update license stuff | Kimplul | |
| 2023-04-30 | rename to kmi | Kimplul | |
| 2022-06-12 | add license texts | Kimplul | |
| 2022-05-23 | new include structure, make parse easier for doxy | Kimplul | |
 |
index : kmi | |
| ACTIVE - Kernel with migrating threads as IPC | kimi.h.kuparinen+kmi@gmail.com |
| aboutsummaryrefslogtreecommitdiff |