Re: [seL4] Zynq UltraScale+ locks up after hours running