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)☆174Updated 8 months ago
- UEFI app to load ELF and Raw binary☆30Updated 10 years ago
- ☆20Updated 8 months ago
- minimal dynamic linker implementation for ELF, supporting x86_64 and Arm/Aarch64☆188Updated 7 years ago
- A minimalist RISC-V system emulator capable of running Linux kernel☆266Updated 3 weeks ago
- NCTU Operation System Design and Implementation☆27Updated 5 years ago
- Effective System Call Aggregation☆39Updated 2 years ago
- Multitasking kernel for Arm/Thumb/AArch64 targets.☆49Updated 3 years ago
- A simple 64bit UEFI application of Hello World! without using any UEFI toolkit.☆111Updated last year
- JIT-accelerated RISC-V instruction set simulator☆35Updated last year
- Lightweight and performant dynamic binary translation for RISC–V code on x86–64☆61Updated 4 years ago
- 大家快來抄作業 | 陽明交大高等 UNIX 程式設計☆21Updated 3 years ago
- A 64-bit SMP-safe kernel for the PC architecture.☆87Updated 7 years ago
- raid is a GDB-like tiny debugger which is based on ptrace.☆15Updated 3 years ago
- A shabby implementation of Java virtual machine in C☆146Updated 2 years ago
- a minimalist text editor with syntax highlight, copy/paste, and search☆133Updated last month
- The Hux x86 32-bit Toy Operating System Kernel (with full wiki pages as development tutorial)☆69Updated 3 years ago
- An experimental HTTP server implemented as Linux kernel module☆75Updated last month
- Rainbow OS☆58Updated last month
- Baremetal Embeddable Debugger☆12Updated 3 years ago
- A minimalist C compiler with x86_64 code generation☆529Updated 4 years ago
- Minimal tool for measuring cost of mode switch☆15Updated 4 years ago
- A tiny debugger implement the GDB Remote Serial Protocol. Can work on i386, x86_64, ARM and PowerPC.☆167Updated 3 years ago
- Fully Randomized Pointers☆19Updated 2 months ago
- LeOS operating system Kernel for AArch64 written in Rust☆82Updated 5 years ago
- 64bit bare metal hypervisor built from scratch with Intel VT-x☆96Updated 5 years ago
- A POSIX RISC-V OS kernel written in C23, featuring preemptive priority scheduling, virtual memory, tiered allocators, time management, mo…☆36Updated 6 months ago
- A small and efficient web server with 1K lines of C code☆88Updated last month
- An x86 OS written from scratch in C☆36Updated 7 years ago
- Examples for: Learning KVM - implement your own kernel☆379Updated last year