| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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. | |||
| 2024-05-24 | rename common to src | Kimplul | |
| + I keep starting to type src and wondering why autocomplete won't work, I guess src is just uncounciously a better name | |||
 |
index : kmi | |
| ACTIVE - Kernel with migrating threads as IPC | kimi.h.kuparinen+kmi@gmail.com |
| aboutsummaryrefslogtreecommitdiff |