Pinned Loading

1. x86_64-kernel x86_64-kernel Public

   A bootloader and kernel for the x86_64 architecture, written in x86 assembly and C++ respectively

   C++ 2 1

2. x86-kernel x86-kernel Public

   A 32-bit x86 kernel written from scratch in C supporting multicore cpus and preemptible scheduling.

   C 4 1

3. x86Lab x86Lab Public

   A playground for x86 assembly programming.

   C++ 3

4. Minix3-Fine-Grain Minix3-Fine-Grain Public

   Fork of the Minix3 microkernel containing changes to get rid of the Big Kernel Lock (BKL)

   C 8 5

5. linux linux Public

   Forked from torvalds/linux

   Implementation of the FreeBSD ULE scheduler in the Linux kernel. Work presented at Usenix ATC'18: "The Battle of the Schedulers: FreeBSD ULE vs. Linux CFS"

   C 16 5

6. minix minix Public

   Forked from Stichting-MINIX-Research-Foundation/minix

   Fork of the Minix kernel with some fixes to make it run on multicore cpus

   C 2 1