Aevros .... A kernel that explains itself
A self-explaining operating system that turns kernel internals into answers.
Open source
Reactions (1)
Similar products
by description similarity
Anos
github.coma hand-written ~100KiB microkernel for x86-64 and RISC-V
SpecOS
github.comA 64 bit OS kernel from scratch
Vekos
github.coma Rust OS with Built-In Cryptographic Verification
A portable kernel/userspace development framework
A cross-platform toolkit to explore OS internals and capabilities
news.ycombinator.comI built this toolkit with my colleague to dive deep into OS internals and automate the identification of privilege escalation vectors.