| 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. | |||
 |
index : kmi | |
| ACTIVE - Kernel with migrating threads as IPC | kimi.h.kuparinen+kmi@gmail.com |
| aboutsummaryrefslogtreecommitdiff |