nfeske

nfeske's Stars

• klange/toaruos

  A completely-from-scratch hobby operating system: bootloader, kernel, drivers, C library, and userspace including a composited graphical UI, dynamic linker, syntax-highlighting text editor, network stack, etc.

  Language:C6.2k258208491

• dwelch67/raspberrypi

  Raspberry Pi ARM based bare metal examples

  Language:Assembly2.7k29540488

• usbarmory/usbarmory

  USB armory - The open source compact secure computer

  Language:Ruby1.4k12568215

• genodelabs/genode

  Genode OS Framework

  Language:C++1.1k825.2k256

• xvisor/xvisor

  Xvisor: eXtensible Versatile hypervISOR

  Language:C5555979248

• udosteinberg/NOVA

  NOVA Microhypervisor

  Language:C++384656106

• xomboverlord/xomb

  An exokernel operating system written in D

  Language:D34437681

• l4ka/pistachio

  L4Ka::Pistachio micro-kernel

  Language:C++275461454

• QuestOS/quest

  The Quest Operating System

  Language:C4810111

• TUD-OS/NUL

  NOVA userland

  Language:C48162514

• Componolit/libsparkcrypto

  A cryptographic library in SPARK 2014

  Language:Ada279153

• sarnau/TurboAss

  Source code for the Atari ST TurboAss and Bugaboo (also known as OMIKRON.Assembler)

  Language:Assembly23612

• th-otto/MagicMac

  Atari-Mac-MagiC-Sources

  Language:Assembly20517

• ksandstr/mung

  A L4.X2 compatible microkernel

  Language:C15500

• m-labs/mtk

  The Milkymist GUI toolkit (Genode FX based), because X11 sucks!

  Language:C131332

• Nils-TUD/NRE

  NOVA runtime environment (dev branch)

  Language:C++1311015

• matthoosier/os

  Microkernel operating system

  Language:Python9301

• nfeske/genode

  Genode OS Framework

  Language:C++91102

• ssumpf/pistachio

  L4Ka::Pistachio micro-kernel

  Language:C++3500