Skip to content


Switch branches/tags

Name already in use

A tag already exists with the provided branch name. Many Git commands accept both tag and branch names, so creating this branch may cause unexpected behavior. Are you sure you want to create this branch?

Latest commit


Git stats


Failed to load latest commit information.
Latest commit message
Commit time

Tools for building Rump Kernels Build Status

The script is a tool for (cross-)building rump kernels for a variety of platforms. The purpose is to make it easy to build rump kernels on any host for virtually any target. There are practically no dependencies apart from a (cross-)working toolchain. When invoked without parameters, will download the necessary source code, build the kernel drivers for POSIX'y userspace, and run a number of tests.


See the wiki for more information and further instructions.