kmi/src/dispatch.c, branch masterACTIVE - Kernel with migrating threads as IPChttps://metanimi.dy.fi/cgit/kmi/atom?h=master2024-07-06T15:14:04Zpretty massive virtual memory rewrite2024-07-06T15:14:04ZKimplulkimi.h.kuparinen@gmail.com2024-07-06T15:14:04Zurn:sha1:76517486919657ecadda9867125dc6730f29a5b7
+ The system is now a bit simpler and hopefully easier to understand, while also
extending the shared memory to be 1:N, where there is one owner who
may become a zombie while waiting for the N to die.
implement bkl2024-07-05T18:02:52ZKimplulkimi.h.kuparinen@gmail.com2024-07-05T18:02:52Zurn: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.
rename common to src2024-05-24T15:13:43ZKimplulkimi.h.kuparinen@gmail.com2024-05-24T10:24:27Zurn:sha1:bc600ecc3bdf0f189861dfb840f70c2339a7a853
+ I keep starting to type src and wondering why autocomplete won't work,
I guess src is just uncounciously a better name