Dr. Phani Kishore Gadepalli
Dr. Phani Kishore Gadepalli
Add macros and clean-up code to extract High and Low 32bit words from 64bit value. Perhaps also to extract higher_n or lower_n bits! Which might be useful in extracting 16bit...
Scheduling events added to a parent for a blocked(in THD_STATE_RCVING state) thread. One because the thread blocks on `cos_rcv`, that adds a event to it's parent. Other, whenever this thread...
This was an observation made when we were trying to run on the Hardware that @ryuxin used for his paper recently. This hardware had 8GiB RAM (Single DIMM Module) and...
ACPI Initialization and other Hardware table mappings are currently mixed between `miniacpi.c` and `vm.c` in `platform/i386`. Need to move Hardware specific mappings out of generic vm code, perhaps into `miniacpi.c`...
Currently in `cos_hw_attach()`, `hwid_t` is actually the 'IRQ line number' and the API supports IRQ numbers 32-63 requiring users to actually pass the hwid_t number 32-63 which isn't a good...
In my current implementation, booter creates all components and creates INITTHDs in 2 components: capmgr and root scheduler. It then activates capmgr INITTHD to allow it to initialize itself and...
AEP threads are those that have a rcvcap to wait on an event sent either by an interrupt or from other subsystem. Typical code construction of an AEP thread is:...