The seL4 microkernel
Record CS knowlegement with XMind, version 2.0. 使用 XMind 记录 Linux 操...
📚 经典技术书籍推荐，持续更新...
💻 신입 개발자로서 지식을 쌓기 위해 공부하는 공간 👨💻
OS kernel labs based on Rust/C Lang & RISC-V 64/X86-32
// Source : ISO
🎯 Command Injection Payload List
2021年最新整理，5000道秋招/提前批/春招/常用面试题（含答案），包括leetcod...
Your phone is your PC.
有深度的Java技术博客
Vinix is an effort to write a modern, fast, and useful operating system ...
Lakka is a lightweight Linux distribution that transforms a small comput...
Parallel OS, with GUI, Terminal, OO Assembler, Class libraries, C-Script...
An open-source Unix operating system
OpenDAN is an open source Personal AI OS , which consolidates various AI...