This package contains the boot loader for the L4Re operating system.
This package is part of the L4Re operating system. For documentation and build instructions please refer to l4re.org.
We welcome contributions. Please see the contributors guide.
Detailed licensing and copyright information can be found in the LICENSE file.