mmueller41

Michael Müller's repositories

EalánOS - A prototype implementation of the MxKernel architecture using the Genode OS Framework

Language:C++NOASSERTION300

NOVA Microhypervisor

Language:C++NOASSERTION000

Task-based framework for automatic synchronization and memory prefetching. Genode OS port.

Language:C++MIT000

⌘ Work in macOS like you work in vim <currently under construction>

MIT000

What I use to tell my computer what to do

000

Language:CNOASSERTION000

Configuraion for the luakit browser

Language:Lua100

Configuration files and plugins for vim

100