Gabriel Parmer
Gabriel Parmer
*Summary*: `sl` and the scheduling infrastructure are showing their age and the fact that we've learned a lot since the initial implementation. This issue is meant to be a list...
# Summary I need to get some ideas onto "paper", and might as well do it in a location where other people can comment. This expands on Option 2 from...
**This is a work in progress, and mainly meant to start a thought process.** The low-level APIs of the system should be polymorphic so that they can be implemented in...
1. Upgrade to a modern version of Linux with a default modern compiler. 1. Move to at least c99.
This is a proposal to figure out a sane way to consolidate three separate kernel objects together. ## Background Currently, we have three completely separate kernel objects: - threads -...
At the highest-level, this issue proposes a new design for how code associated with interfaces is integrated both with the client and server. First, the header file that shares the...
This directory is a little schizophrenic. A look at the `Makefile` yields a large number of special cases. In fact, it is likely accurate to say that there is no...
The liveness table is not access controlled currently. It is accessed directly upon making components and other resources. Currently, this is only done by the `capmgr` and the `booter`, but...
We want to indicate which operations can be performed on each resource, and have them be subset upon delegation. This simply adds finer-grained access control.
When a thread invokes a component, and no thread is available on the freelist, it currently jumps through ugly hoops to save the current registers. Instead, it should use `int`...