aesophor / valkyrieLinks
🔮 UNIX-like monolithic kernel for RPi3B+ (NYCU OSDI, Spring 2021)
☆79Updated 2 years ago
Alternatives and similar repositories for valkyrie
Users that are interested in valkyrie are comparing it to the libraries listed below
Sorting:
- A minimalist type 2 hypervisor using Linux Kernel Virtual Machine (KVM)☆183Updated last year
- NCTU Operation System Design and Implementation☆27Updated 5 years ago
- Effective System Call Aggregation☆39Updated 3 years ago
- UEFI app to load ELF and Raw binary☆31Updated 10 years ago
- Lightweight and performant dynamic binary translation for RISC–V code on x86–64☆61Updated 4 years ago
- minimal dynamic linker implementation for ELF, supporting x86_64 and Arm/Aarch64☆191Updated 7 years ago
- A shabby implementation of Java virtual machine in C☆148Updated 3 years ago
- ☆21Updated last year
- a minimalist text editor with syntax highlight, copy/paste, and search☆159Updated 3 months ago
- 64bit bare metal hypervisor built from scratch with Intel VT-x☆94Updated 5 years ago
- Multitasking kernel for Arm/Thumb/AArch64 targets.☆48Updated 4 years ago
- A simple 64bit UEFI application of Hello World! without using any UEFI toolkit.☆117Updated last year
- A minimalist RISC-V system emulator capable of running Linux kernel with efficient event-driven scheduling☆289Updated last month
- Baremetal Embeddable Debugger☆12Updated 3 years ago
- An experimental HTTP server implemented as Linux kernel module☆83Updated 7 months ago
- JIT-accelerated RISC-V instruction set simulator☆37Updated 2 years ago
- raid is a GDB-like tiny debugger which is based on ptrace.☆16Updated 3 years ago
- Minimal tool for measuring cost of mode switch☆15Updated 4 years ago
- Fully Randomized Pointers☆19Updated 8 months ago
- A small and efficient web server with 1K lines of C code☆91Updated 6 months ago
- A small implementation of regular expression matching engine in C☆94Updated 5 years ago
- ☆62Updated 3 years ago
- The x86_64 UEFI bootloader for rCore☆43Updated 3 years ago
- An efficient and portable Game Boy emulator☆37Updated last year
- A POSIX RISC-V OS kernel written in C23, featuring preemptive priority scheduling, virtual memory, tiered allocators, time management, mo…☆43Updated last year
- Restoration of The Linux Scheduler Simulator (LinSched)☆18Updated 4 years ago
- 大家快來抄作業 | 陽明交大高等 UNIX 程式設計☆22Updated 3 years ago
- New TIOJ Judge Client☆15Updated last month
- Bootsector loading binary file from FAT32 partition☆24Updated 7 years ago
- A 64-bit SMP-safe kernel for the PC architecture.☆89Updated 7 years ago