How to build a bootable l4linux image