A basic L4 boilerplate with essentials