singpolyma / singpolyma-kernel
A basic microkernel
☆35Updated 11 years ago
Related projects: ⓘ
- Pedigree operating system☆89Updated 8 years ago
- A small arm/x86(-64) libc☆72Updated last month
- Libelf is a simple library to read ELF files.☆47Updated 2 years ago
- Modular kernel built for simplicity☆89Updated 7 years ago
- A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.☆41Updated 3 years ago
- Acess2 Hobby Operating System☆84Updated 10 months ago
- ☆20Updated this week
- JIT compiler from scratch, derived from Nick Desaulniers' great work☆41Updated 3 years ago
- ld.so implementation in C++1z☆9Updated 7 years ago
- x86-64 SMP enabled microkernel hobbyist OS☆24Updated 8 years ago
- ARM emulator☆46Updated 9 years ago
- ☆42Updated this week
- L4Ka::Hazelnut micro-kernel☆32Updated 9 years ago
- NOVA userland☆47Updated 10 years ago
- Utility for accessing a disk formatted with BMFS☆49Updated 3 weeks ago
- cmips☆57Updated 10 years ago
- A library that allows execution of an ELF binary inside a virtual machine without a full-scale operating system☆22Updated 9 years ago
- A C-implemented C compiler☆88Updated last week
- ☆55Updated 2 years ago
- A hobby operating system. Everyone's gotta have one.☆46Updated 13 years ago
- My experimental bare metal OS for the raspberry pi☆44Updated 10 years ago
- Calcium OS project for x86_64☆37Updated 6 years ago
- gelfload is Gregor's ELF loader. It is a usermode loader for ELF executables, used for two purposes: 1) Creating ELF environments on othe…☆34Updated 10 years ago
- ☆15Updated 3 years ago
- My coreboot work☆22Updated 13 years ago
- Tiny Code Generator Library☆45Updated 3 years ago
- Reimplementation in ANSI C of Unix v6 + POSIX compliance + VFS + ulibc + ACPI☆63Updated 3 years ago
- Personal sandbox to make quick tests and how-tos for ARM development☆37Updated 4 years ago
- An exokernel for the raspberry pi 3.☆79Updated 2 years ago
- dmr_C is a C parser and JIT compiler with LLVM, Eclipse OMR and NanoJIT backends☆52Updated 4 years ago