1 * malloc() needs to block until memory is available?
3 * Should we use a task gate for hardware interrupts? Then we could
4 dedicate a stack to interrupt handling and not worry about interrupt
5 usage of kernel stacks.
7 * Filesystem dumps should include filehdrs?
projects / pintos-anon / blob