**** BEGIN LOGGING AT Sat May 26 03:00:03 2018
May 26 17:49:31 <TheKit> can kexecboot exec a custom script instead of kexec? I have an idea how to handle it on Gemini PDA without relying on kexec with customized bootloader, but boot menu is a nice thing to have
**** ENDING LOGGING AT Sun May 27 03:00:02 2018