[seL4] ENTROPY 2019: Second Call for Papers

NEW: two more invited speakers ** Second Call for papers — ENTROPY 2019 ENabling TRust through Os Proofs … and beYond Second International workshop on the use of theorem provers for modelling and verification

Re: [seL4] port SeL4 to renesas rcar-H3 development board

Hi yayan. Thank you for your reply. Sorry for ask but I just have few more questions: *sel4-tools* - the elfloader-tool that is used to loads the arm kernel seams a bit confused for me. I suppose that it just generate a .elf file representing the kernel it is right? - I don't