mythos
mythos copied to clipboard
ManyThreads
Many Threads Operating System
Each page table is followed by capability entries and these somewhat point to the owning page map object anyway. Just look into the first capability entry's object pointer and add...
When installing a page map into an address space, store a pointer to the address space's TLB invalidation service. The kernel object to the level 4 page map should contain...
Use VIRT_END as virtual address where the kernel image ends. This is analogous to VIRT_ADDR for the start address. The kernel size can be queried via VIRT_END-VIRT_ADDR. In PhysPtr.hh isImageAddr()...
Currently, the bochs console is spammed with "[IOAPIC] vector 0 stuck?" which is triggered if bochs is unable to deliver an interrupt 5 times. This is because the destination and...
Notifications are asynchronous and contain an user-defined identifier. For reliable delivery to a INotifiable receiver, the receiver can enqueue the notification into a queue. The queue entry is supplied by...
The ExecutionContext is informed about user-mode traps and cpu exceptions. Currently they are ignored and just suspend the execution context. In addition to the suspend, the trap should be delivered...
Otherwise the receiver cannot remember which interrupt was triggered. The old plan was to use an intermediate adapter from ISignalable to INotifier. Hoewever, this would be used almost always and...
Each entry consists of a CapEntry and the original CapValue. The CapEntry points to the owning CapRefArray and contains the entry's index as capability data. The CapValue points to the...