0xDΘEF∆6

@shibedrill.site

august/auggie, 22. Rust dev, systems engineer, ∆Θ deergirl. no crypto/ai bs. 18+ only please. SSH signatures on my blog and my Carrd. https://riverdev.carrd.co https://git.shibedrill.site

fixed an issue with my microkernel that was causing looping general protection faults, turns out I was loading the TSS descriptor big-endian instead of little-endian. now it page faults as expected when jumping to usermode

every time I run into a design problem with my microkernel I look at what seL4 did and it turns out they already have the most elegant solution to every problem you might have while designing a capability microkernel