mythos
mythos copied to clipboard
ManyThreads
Many Threads Operating System
The current revoke operation implementation does not suit the requirements of the processor allocator. It needs to revoke a scheduling context capability reference and then declare the thread id as...
Physically available main memory is currently managed in kernel memory object only and allocated from the user by creating and mapping frame objects. Since the kernel memory is limited to...
After talking with other micro-kernel developers, it should not be necessary. It is harmful because it allows to create cyclic dependencies that are very difficult to delete properly. It prohibit...
Writing all test cases in the init-app degrades the readability and brings compatibility issues for platform specific test (e.g. CGA screen). Hence, it might be reasonable to move all test...
The Kernel Address Sanitizer looks very helpful. * https://www.kernel.org/doc/html/latest/dev-tools/kasan.html * https://a13xp0p0v.github.io/img/Alexander_Popov-KASan_in_a_Bare-Metal_Hypervisor.pdf * https://events.static.linuxfound.org/sites/events/files/slides/LinuxCon%20North%20America%202015%20KernelAddressSanitizer.pdf * https://elixir.bootlin.com/linux/v5.9.2/source/mm/kasan * https://elixir.bootlin.com/linux/v5.9.2/source/lib/ubsan.c
Use a union for the success and error data. Make access to the error variant explicit. The error data type can have a default template argument for compatibility with existing...
As of a669d52, the Task State Segment has an IO map segment which is never explicitly initialized. The struct `TSS64` is a member of `DeployHWThread`, which is statically declared in...
Cleaning up the mixed up segments versus sections in the change from .init to .bootlower. Cleaning the start assembler in the IHK part.
It shall be possible for kernel extensions to register interrupt handler routines that are executed in kernel-mode instead of user-mode. The core-local InterruptControl object needs a second table of kernel-mode...
Can be similar to the poll systemcall, but also makes sure to switch to the next EC in the scheduler's ready list. This is needed for cooperative multi-tasking when multiple...