singpolyma / singpolyma-kernelLinks
A basic microkernel
☆36Updated 12 years ago
Alternatives and similar repositories for singpolyma-kernel
Users that are interested in singpolyma-kernel are comparing it to the libraries listed below
Sorting:
- Modular kernel built for simplicity☆93Updated 8 years ago
- A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.☆45Updated 4 years ago
- ARM emulator☆49Updated 10 years ago
- Tiny ELF loader☆133Updated 2 years ago
- A minimalist IP stack written in ANSI C.☆53Updated 2 months ago
- asrepl: x86-64 assembly REPL☆71Updated 8 years ago
- Portable C Compiler (CVS mirror)☆12Updated 13 years ago
- Acess2 Hobby Operating System☆88Updated last year
- A toy x86-64 kernel.☆52Updated 10 years ago
- A small arm/x86(-64) libc☆91Updated 4 months ago
- Calcium OS project for x86_64☆40Updated 8 years ago
- Libelf is a simple library to read ELF files.☆55Updated 3 years ago
- A simple kernel written in C and a platform to play with x86_64 extensions☆30Updated 7 years ago
- Virtual Machine and Assembler for Notch's DCPU-16 Architecture☆223Updated 13 years ago
- Codezero Microkernel☆112Updated 3 years ago
- LLVM Linker for Mobile Computing☆82Updated 9 years ago
- Operating system project☆33Updated 5 months ago
- My tinycc fork: hopefully, better OSX support, EFI targets, and ???☆34Updated 8 years ago
- ☆19Updated 10 years ago
- Metta OS☆72Updated 11 months ago
- Personal sandbox to make quick tests and how-tos for ARM development☆39Updated 5 years ago
- dmr_C is a C parser and JIT compiler with LLVM, Eclipse OMR and NanoJIT backends☆53Updated 5 years ago
- QEMU based emulation library for micro-architectural simulation (ARM64 and x86)☆43Updated 6 years ago
- MSDOS emulator built on top of Unicorn engine☆137Updated 9 years ago
- ☆20Updated 9 years ago
- A tiny lexical analyser generator☆19Updated 13 years ago
- Migrated to Codeberg☆11Updated 2 years ago
- cmips☆56Updated 11 years ago
- L4Ka::Hazelnut micro-kernel☆35Updated 10 years ago
- x86-64 SMP enabled microkernel hobbyist OS☆25Updated 9 years ago