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)โ178Updated 11 months ago
- UEFI app to load ELF and Raw binaryโ30Updated 10 years ago
- Effective System Call Aggregationโ39Updated 3 years ago
- NCTU Operation System Design and Implementationโ27Updated 5 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
- JIT-accelerated RISC-V instruction set simulatorโ37Updated 2 years ago
- Fully Randomized Pointersโ19Updated 6 months ago
- A shabby implementation of Java virtual machine in Cโ148Updated 3 years ago
- Multitasking kernel for Arm/Thumb/AArch64 targets.โ48Updated 3 years ago
- โ21Updated 11 months ago
- a minimalist text editor with syntax highlight, copy/paste, and searchโ151Updated last month
- raid is a GDB-like tiny debugger which is based on ptrace.โ16Updated 3 years ago
- A simple 64bit UEFI application of Hello World! without using any UEFI toolkit.โ115Updated last year
- The book "Writing a RISC-V Emulator from Scratch in 10 Steps".โ129Updated 2 years ago
- 64bit bare metal hypervisor built from scratch with Intel VT-xโ93Updated 5 years ago
- A small and efficient web server with 1K lines of C codeโ89Updated 4 months ago
- A minimalist RISC-V system emulator capable of running Linux kernel with efficient event-driven schedulingโ280Updated last week
- A C library and binary for generating machine code of x86_64 assembly language and executing on the fly without invoking another compilerโฆโ198Updated 10 months ago
- Minimal tool for measuring cost of mode switchโ15Updated 4 years ago
- __udivdi3(), __divdi3(), __umoddi3(), __moddi3(), etc. for embedded GCCโ57Updated last year
- GDB macros for real mode debuggingโ24Updated 9 years ago
- Bootsector loading binary file from FAT32 partitionโ23Updated 7 years ago
- A small implementation of regular expression matching engine in Cโ94Updated 4 years ago
- efi headersโ63Updated 8 months ago
- A tiny debugger implement the GDB Remote Serial Protocol. Can work on i386, x86_64, ARM and PowerPC.โ175Updated 3 years ago
- New TIOJ Judge Clientโ15Updated 9 months ago
- A bare metal AArch64 hello-world program, that is run in a KVM AArch64 VM.โ26Updated last year
- C6 -- 600 ่ก็ C ่ช่จ็ทจ่ญฏๅจโ22Updated 3 years ago
- Baremetal Embeddable Debuggerโ12Updated 3 years ago