Robin Lambertz

Investigate random stalls on windows build due to GH-Actions

1

We've had a few occurences of the windows builds just randomly stalling now. They all seem to have the same symptom: The build will randomly stop with the cmd "Terminate...

Secure boot to kernel

1

Automatically creates a secure boot image that starts at the flash firmware (OVMF) and verifies the bootloader, which in turn verifies the bootstrap, kernel and KIPs. Long term, we'll replace...

Kernel: Use SeqCst for ARE_CPU_LOCALS_INIT

1

Relaxed is 100% broken in SMP context here.

Occasional userland null ptr dereference due to ELF TLS

7

Sometimes, it looks like gs = 0 when returning to userland, causing null pointer derefs. This seems to happen on current master if you let the VM run for a...

For whatever reason, process/thread have all their fields public. This seems like a super terrible idea. We should use getters/setters where appropriate.

Stop using GRUB

1

GRUB is written in the unholy C language, and as such should be expunged from our systems! In order to implement secureboot, we need to run `grub-mkimage` in order to...

FS: StorageCachedBlockDevice should live in storage-device

1

StorageCachedBlockDevice is truthfully a fancy `StorageBlockDevice`. The only difference between the two is that it has a special `read` method that ~~is totally broken~~ handles misaligned blocks in a somewhat...

Syscall documentation is currently duplicated (often poorly) across libuser's and kernel's syscalls.rs. This is far from ideal, and the results are super inconsistent. We should move the docs to markdown...

Use cargo-crev to review all our dependencies

1

We should start vetting our dependencies a bit more carefully. Much of our code relies on unsafe abstraction found in third-party crates, with the hope that those abstractions are actually...