rottaran
rottaran
Capability maps can contain the original capability to a slice of kernel memory. From this kernel memory, another capability map can be allocated and then mapped into the capability space....
Capability maps are handled in a special way to avoid cyclic and recursive trouble during deletion. Each capabilty map contains its original capabilty internally and just a reference is exposed...
This is needed for trap handling, interrupt handling, and generally any signalling between kernel objects and user space as well as between user space threads (execution contexts). Solution to issues...
All action should check for correctness and, then, either fail or finish completely. writeThreadRegisters fails to set the FS and GS base addresses if they are non-canonical. However, at the...
The subfolder `kernel/mythos` contains shared definitions that are used by the kernel and the user space. Within the kernel implementation it is not always clear which definitions are internal or...
At the moment there is an interaction between ExecutionContext and Portal. The ExecutionContext that is using the Portal is providing an interface to give the portal access to the ExecutionContext's...
When allocating a frame from KernelMemory, the frame still contains the free-list data of the KernelMemory implementation. This is leaking information and might irritate initialization routines.
https://github.com/ManyThreads/mythos/blob/d2341f76a8e51d64f0bd887193fde6f54341a732/kernel/objects/capability-spinning/objects/RevokeOperation.cc#L38 By principle, loops like this should give up after some time and just let the function fail...
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...
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