kmi/include/arch/lock.h, branch master ACTIVE - Kernel with migrating threads as IPC https://metanimi.dy.fi/cgit/kmi/atom?h=master 2024-07-06T16:31:13Z prefer __riscv_xlen over riscv64 2024-07-06T16:31:13Z Kimplul kimi.h.kuparinen@gmail.com 2024-07-06T16:31:13Z urn:sha1:f810f1583725b84d3538adfe2aab6dea00f5ae87 implement bkl 2024-07-05T18:02:52Z Kimplul kimi.h.kuparinen@gmail.com 2024-07-05T18:02:52Z urn:sha1:608f44306a6f0d5692f5c81bcbfe7a621ec254ba + 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. update license stuff 2023-05-01T19:02:49Z Kimplul kimi.h.kuparinen@gmail.com 2023-05-01T19:02:49Z urn:sha1:05d4244f68e35c1bef6488292bf9730df3636fd9 rename to kmi 2023-04-30T14:06:02Z Kimplul kimi.h.kuparinen@gmail.com 2023-04-30T14:06:02Z urn:sha1:ea5ebe0809fb31b9f125ac0689f706cc5f3f078f add license texts 2022-06-12T10:58:42Z Kimplul kimi.h.kuparinen@gmail.com 2022-06-12T10:58:42Z urn:sha1:6c529c5c6c2d016d77b143171c5e27fbec0d2bfd new include structure, make parse easier for doxy 2022-05-23T18:31:48Z Kimplul kimi.h.kuparinen@gmail.com 2022-05-23T18:31:48Z urn:sha1:960330c5d843d1aa96aa191fc27f72da563293ea