Michael Hohmuth's links

Information from and about Michael Hohmuth

This used to be my personal homepage when I was at TU Dresden. I left TUD in 2006. Nowadays I work at Kernkonzept, which I cofounded in 2012.

Personal information

Who is Michael Hohmuth?

I'm currently working as an assistant researcher at the Dept. of CS in the Operating Systems group. My doctoral research is in the area of microkernel-based real-time operating systems. Also, from time to time I'm looking after a few students graduating at our professorship.

My research interests include (in no particular order): operating systems, programming languages and tools, computer security and cryptography, computer architecture.

• Contact information - Email addresses, phone/fax numbers, PGP keys
• Dept. of CS homepage - the organization I'm employed at
• Operating Systems Group - the group I work with
• SaxNet e.V. - a non-commercial local ISP I help maintain
• My private homepage

Projects

Software development: projects and hacks (present and past)

• Fiasco - a new L4-compatible microkernel
• VFiasco - Towards a provably correct microkernel
• Preprocess C++ preprocessor - helps you program unit-style single-source-file modules in C++
• MPEG [Internal access only] - Modular MPEG-Video decoder for both DROPS and Unix.
• L⁴Linux - a Linux Port to the L4 and Fiasco Microkernels
• OS-Controlled Cache Predictability for Real-Time Systems (see Publications)
• Linux-Emulation auf einem Mikrokern - my Diploma thesis about L⁴Linux
• Steps Towards Porting a Unix Single Server to the L3 Microkernel - my ``Großer Beleg'' about Lites on L3

Publications

[See the full list of publications]

• VFiasco - Publications on VFiasco, a project to formally verify a a microkernel
• Fiasco - Publications on the Fiasco real-time microkernel
• DROPS - Publications on the Dresden real-time operating system
• L⁴Linux - Publications on L⁴Linux
• Mach emulation for L3 - Publications related to an abandoned effort to port Lites to the L3 microkernel.

For students

Course descriptions and materials

Part of my job is supporting my boss in his lectures for students.

• Übung Verteilte Betriebssysteme - Übungen zur Vorlesung Verteilte Betriebssysteme
• Verifikation - Programmverifikation und -spezifikation mit Coalgebren
• C-Kurs - Einführung in die Programmiersprache C für Hörer der Betriebssysteme-Vorlesung

Documents I maintain

Quick links to documents I maintain (or maintained)

• Fiasco - a L4-compatible microkernel
• VFiasco - Towards a provably correct microkernel
• L4 and L3 - the L4 and L3 microkernels
• L⁴Linux - a Linux port to the L4 and Fiasco microkernels
• DROPS - the Dresden Real-Time Operating System
• PostScript papers library [Internal access only] - Library of papers (mostly in PostScript format) relevant to our workgroup