Giters
Sebastian Sumpf (ssumpf)

ssumpf

Geek Repo

29

followers

14

following

6

stars

Company:Genode Labs GmbH @genodelabs

Location:Dresden

Github PK Tool:Github PK Tool

Organizations
genodelabs

Sebastian Sumpf's starred repositories

genode

Genode OS Framework

Language:C++License:NOASSERTIONStargazers:1046Issues:0Issues:0

genode

Genode OS Framework

Language:C++License:NOASSERTIONStargazers:8Issues:0Issues:0

NOVA

NOVA Microhypervisor

Language:C++License:NOASSERTIONStargazers:371Issues:0Issues:0

pistachio

L4Ka::Pistachio micro-kernel

Language:C++Stargazers:3Issues:0Issues:0

linux_drivers

Drivers ported from Linux 2.6 to Genode

Language:CStargazers:4Issues:0Issues:0

pistachio

L4Ka::Pistachio micro-kernel

Language:C++Stargazers:271Issues:0Issues:0