kmi/src/timer.c, branch masterACTIVE - Kernel with migrating threads as IPChttps://metanimi.dy.fi/cgit/kmi/atom?h=master2026-01-24T20:34:12Zimprove timer handling2026-01-24T20:34:12ZKimplulkimi.h.kuparinen@gmail.com2026-01-24T20:34:12Zurn:sha1:1eaac15cdb220df7536c74774a1ce7d1f0519c63
+ Previous code assumed a timer would only trigger when requested, but
didn't explicitly disable timers during init. Newer versions of qemu
(>= 10?) seem to have some kind of timer set, unsure if that's via
OpenSBI or what exactly but some slower tests were failing because of
it.
fix LLVM2024-07-08T15:04:03ZKimplulkimi.h.kuparinen@gmail.com2024-07-08T14:43:59Zurn:sha1:e134202611a50b358c147c92bfb8a7f443030b8b
+ Anything extern is right out as LLVM doesn't produce correct code for
them. Maybe if I added some extra attributes but I'm skeptical.
Replaced with static variables and getters/setters.
+ Inline ASM is apparently a bit buggy, so use an assembly stub when jumping to init.
+ Minimize work done in main() to minimize chance of LLVM doing something silly.
Still not 100% certain that I shouldn't just write the main() as an assembly stub
in arch/riscv64 to be absolutely sure everything works as intended.
+ Make .kernel.start section SHF_ALLOC, otherwise lld complains about
pc-relative addressing
Probably some other stuff as well that I'm forgetting right now. But at least with
LLVM14 LTO seems to work, which is pretty cool?
add orphan checking to timer and irq handling2024-07-08T14:38:59ZKimplulkimi.h.kuparinen@gmail.com2024-07-08T14:38:59Zurn:sha1:7e828ec1e1479ff9a8afe845539d08ca0dfada5fimplement 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.
more complete interrupt handling outline2024-07-02T18:40:10ZKimplulkimi.h.kuparinen@gmail.com2024-07-02T18:40:10Zurn:sha1:8a3452098267e1af127d6c4f1836a9d82cd23f38
+ Still largely untested, should really try to come up with a proper
testsuite, at the moment it's mostly me trying things out in the (as
of yet unreleased) kmx repo
expand notifications into interrupt handlers2024-07-01T20:34:57ZKimplulkimi.h.kuparinen@gmail.com2024-07-01T20:34:57Zurn:sha1:7ad9c01dad7b1b46eced8290b8b991383d648188
+ Terminology is still a bit poor, and will still have to write
documentation + implement ipis properly
slight tweaks to sptree stuff2024-06-01T12:22:06ZKimplulkimi.h.kuparinen@gmail.com2024-06-01T12:22:06Zurn:sha1:e8f80bae97a835b6b256228d4bbeaf48ae16dcbbrename 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