Skip to content

Files

Latest commit

 

History

History

buildrump

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Tools for building Rump Kernels Build Status

The buildrump.sh script is a tool for (cross-)building kernel drivers as rump kernels for a variety of platforms, for example a POSIX-type userspace. There are practically no dependencies apart from a working toolchain. When invoked without parameters, buildrump.sh will download the necessary source code, build the kernel drivers, and run a number of tests:

./buildrump.sh

See the wiki for more information and further instructions.