Enrico Granata

Apps should be able to acquire a custom framebuffer (and possibly a backing TTY) for whole screen drawing

If a process holds a mutex and exits, the current implementation leaves the mutex locked, never to be usable again If a process exits cleanly, maybe the mutex should be...

See `2eb9c88a544701cbbc0d1d823955addad409e107` for details: If a process is killed while it's waiting on a mutex (or a semaphore for that matter...), the kernel moves the TSS information in order to...

Toolchain setup is awkward

1

Anyone who wants to contribute to the project, has to build the toolchain manually. There should be a way to provide a pre-built toolchain.

Add cargo-install instructions to install.md

3

I was not aware of cargo-binstall and assumed it to be a typo. cargo install seems to work, and cargo binstall requires an extra step, worth documenting IMHO