nfeske

followers

following

stars

Genode Labs

Dresden/Germany

https://genode.org

Organizations

genodelabs

Norman Feske's starred repositories

TurboAss

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

Language:Assembly2100

MagicMac

Atari-Mac-MagiC-Sources

Language:AssemblyGPL-3.02000

libsparkcrypto

A cryptographic library in SPARK 2014

Language:Ada2700

usbarmory

USB armory - The open source compact secure computer

Language:Ruby135200

raspberrypi

Raspberry Pi ARM based bare metal examples

Language:Assembly268600

NRE

NOVA runtime environment (dev branch)

Language:C++1200

os

Microkernel operating system

Language:Python900

mung

A L4.X2 compatible microkernel

Language:CGPL-3.01400

NUL

NOVA userland

Language:CGPL-2.04700

pistachio

L4Ka::Pistachio micro-kernel

Language:C++300

NOVA

NOVA Microhypervisor

Language:C++NOASSERTION37100

genode

Genode OS Framework

Language:C++NOASSERTION900

genode

Genode OS Framework

Language:C++NOASSERTION104500

pistachio

L4Ka::Pistachio micro-kernel

Language:C++27100

xvisor

Xvisor: eXtensible Versatile hypervISOR

Language:CGPL-2.052200

quest

The Quest Operating System

Language:C4900

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:CNCSA605200

mtk

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

Language:CGPL-2.01300

xomb

An exokernel operating system written in D

Language:DNOASSERTION34000