krh / ksimLinks
The little simulator that could.
☆23Updated 7 years ago
Alternatives and similar repositories for ksim
Users that are interested in ksim are comparing it to the libraries listed below
Sorting:
- Pagemon is an interactive memory/page monitoring tool allowing one to browse the memory map of an active running process.☆42Updated 2 weeks ago
- My coreboot work☆23Updated 14 years ago
- Clone of https://git.kernel.org/pub/scm/linux/kernel/git/will/kvmtool.git☆55Updated 8 years ago
- OPAL boot and runtime firmware for POWER☆109Updated 2 months ago
- Kernel coredump file access☆31Updated last month
- x86info : x86 processor register decoder.☆45Updated 4 months ago
- Ninja build file generator for the Linux kernel☆56Updated 5 years ago
- ☆35Updated 2 years ago
- picotrace - system call process tracer☆39Updated 5 years ago
- Documentation for 3D commands on Virgl3D☆28Updated 6 years ago
- The ELF Tool Chain Project (mirror of SourceForge.Net). Please do not create pull requests here on Github, Please use SourceForge's tick…☆71Updated 2 years ago
- Virtio draft specification☆65Updated 12 years ago
- Popcorn Linux compiler toolchain for heterogeneous-ISA execution☆47Updated last year
- Libelf is a simple library to read ELF files.☆55Updated 3 years ago
- Kexec Tools: Userspace portion of Kexec☆70Updated 2 months ago
- NOVA userland☆48Updated 11 years ago
- ☆139Updated 5 months ago
- Xvisor: eXtensible Versatile hypervISOR☆89Updated 4 months ago
- LK embedded kernel☆26Updated 7 months ago
- The Akaros operating system☆41Updated 4 years ago
- Automatically spawn gdb on error.☆66Updated 3 years ago
- A Shell to parse ELF files☆19Updated 2 years ago
- A basic microkernel☆36Updated 12 years ago
- The Bear Operating System☆24Updated 8 years ago
- Sled System Emulator☆28Updated 4 months ago
- Linux kernel patch static verification tool☆25Updated 2 weeks ago
- System initialization firmware for Power systems☆77Updated this week
- IPC library☆58Updated 5 years ago
- Tools for doing upstream Linux kernel development, patch wrangling, builds, and testing☆55Updated last month
- ☆14Updated 8 years ago