On 6/9/19 5:10 AM, Oded Ben-Tal wrote: > The solution was to disable secureBIOS. Now the rt-kernel is loading. That kernel isn't signed (at least not with a recognized key) so if secure boot is enabled, the bootloader must reject it.