l4/pkg/loader/examples/launchpad
