High Assurance Booting for i.MX6 Tablet

Modified kernel and bootloader of Genode OS to include HAB for secure booting. Part of secure tablet development used in defense research projects.