a-darwish / cuteOS-referencesLinks
Documentation, references, and collected academic research for the cuteOS Kernel.
☆40Updated 10 years ago
Alternatives and similar repositories for cuteOS-references
Users that are interested in cuteOS-references are comparing it to the libraries listed below
Sorting:
- Reimplementation in ANSI C of Unix v6 + POSIX compliance + VFS + ulibc + ACPI☆67Updated 4 years ago
- Home-made almost operating system☆138Updated 2 years ago
- Community site for microkernel projects.☆29Updated 4 months ago
- A 64-bit SMP-safe kernel for the PC architecture.☆87Updated 7 years ago
- The Chariot Operating System☆48Updated 2 years ago
- The core components of the L4Re operating system.☆91Updated this week
- Ananas Operating System☆57Updated 3 years ago
- Ths project adds a FreeBSD libc, other libs and a runtime to the xv6 kernel☆69Updated 3 years ago
- re-implementation of UNIX v6 in ANSI C for x86_64 SMP☆181Updated last year
- An unofficial guide to contributing to GCC, aimed at newbies☆119Updated 9 months ago
- UNIX-like operating system written in C and C++☆92Updated last week
- A simple hobby operating system for the x86-64 architecture☆73Updated 4 years ago
- xv6 OS☆241Updated 2 months ago
- Small implementation in C of a slab allocator in user space☆37Updated last year
- A simple Unix-like kernel trying to be POSIX compliant☆135Updated 11 months ago
- An experimental operating system for x86 and ARM☆50Updated 3 years ago
- The development version of the L4Re Microkernel☆137Updated last week
- An operating system kernel for RISC-V and AArch64 SBCs☆136Updated last year
- Microkernel-based system for heterogeneous manycores☆108Updated 4 years ago
- OpenMach operating system☆97Updated 10 years ago
- ctOS is a bit 32 bit Unix-like operating system that I developed as a toy project☆39Updated 6 years ago
- The Hux x86 32-bit Toy Operating System Kernel (with full wiki pages as development tutorial)☆69Updated 3 years ago
- Mirror of the official Barrelfish OS repository.☆207Updated 2 years ago
- A Tree Parser Generator☆99Updated 9 months ago
- Real-time multiprocessor microkernel☆39Updated 5 years ago
- K42 Kernel☆28Updated 13 years ago
- A small 32 bit Operating system written from scratch☆71Updated last year
- Fabrice Bellard's fbcc C Compiler☆43Updated 5 years ago
- Type-safe Printf in C☆72Updated 6 months ago
- Educational open-source CPU suite (with assembler, linker and simulator)☆175Updated last year