Peter Farley

Some of the code in the kernel is nearly 10 years old, and may not be written well architecturally. - [ ] `data` - [ ] `cbuff` - [ ]...

Presently, memory allocation is too intertwined with physical/virtual memory mapping.

Initial thought involves converting `lock_t` to a structure, containing both the atomic variable, and a list of threads currently waiting for it to unlock. When it is unlocked, the first...

Requirements: * Syscall to read/write ports (x86) * Potentially syscall to request access to specific ports, so a faulty driver that attempts to access a port it hasn't requested, it...

Idea is to allow for fast RPCs between user-space drivers. Alternatively simple IPC if it can be implemented efficiently enough.

Issue is caused by enabling global pages and/or supervisor page write protect. Neither of these features are really necessary for operation. We can do one/multiple of the following: * Remove...