avivmag / XV6-Kernel-Level-Threads-Synchronization-And-Memory-ManagementLinks
The famous XV6 operating system with extension to support kernel level threads, synchronization primitives and Copy On Write (COW) optimization for the fork system call.
☆7Updated 7 years ago
Alternatives and similar repositories for XV6-Kernel-Level-Threads-Synchronization-And-Memory-Management
Users that are interested in XV6-Kernel-Level-Threads-Synchronization-And-Memory-Management are comparing it to the libraries listed below
Sorting:
- XV6 Kernel Threads☆6Updated 7 years ago
- ☆11Updated 9 years ago
- kernel threads in xv6☆14Updated 4 years ago
- ☆11Updated 7 years ago
- xv6 ported to x86_64.☆10Updated 4 years ago
- Modern improvements for MIT's xv6 OS☆37Updated 6 years ago
- Design and Implementation of kernel level threads for xv6 operating system. Adding system call related to threading environment in xv6 al…☆30Updated 4 years ago
- The development version of the L4Re Microkernel☆140Updated last week
- The core components of the L4Re operating system.☆92Updated last week
- Homebrew x64 OS written in C++ that runs Doom!☆45Updated 2 weeks ago
- A bare-bones minimal executable application for efi on the x64 platform☆56Updated 2 years ago
- A toy x86-64 kernel.☆52Updated 10 years ago
- 🎨 An ansi escape code parser and renderer for hobby operating systems☆44Updated 4 years ago
- K42 Kernel☆29Updated 13 years ago
- A minimal example of an x86_64 higher half kernel loaded at the -2GB mark☆41Updated 2 years ago
- A 64-bit SMP-safe kernel for the PC architecture.☆87Updated 7 years ago
- The FYSOS Operating System☆122Updated last week
- Suspended until Cyjon refactorization finnish.☆19Updated 11 months ago
- MIT 6.828: Operating System Engineering lab / JOS☆63Updated 7 years ago
- Sources for the UEFI experiments on https://krinkinmu.github.io/☆32Updated last year
- UEFI Reference Specification Protocol Constants and Definitions☆40Updated 6 years ago
- Portable C Compiler sources☆116Updated last year
- Rainbow OS☆58Updated 2 weeks ago
- compilable linux-0.01☆87Updated 2 years ago
- OpenMach operating system☆97Updated 10 years ago
- WCC C Compiler for x86_64 Linux☆23Updated 2 months ago
- A simple hobby operating system for the x86-64 architecture☆72Updated 4 years ago
- Reimplementation in ANSI C of Unix v6 + POSIX compliance + VFS + ulibc + ACPI☆67Updated 4 years ago
- Minimal ARM Operating System for the Raspberry Pi, supporting Aarch32 and Aarch64 architectures.☆28Updated 3 years ago
- L4Ka::Hazelnut micro-kernel☆34Updated 9 years ago