01-25-2020, 07:43 PM
Yes, the included uboot doesn't support compressed kernels. How long did you wait for the boot to complete? One of the issues danielt mentioned patching was to avoid scheduling anything on the slower cores until the cpu frequency manager is running; u-boot apparently hands execution over to the core with them scaled down to the point where booting takes minutes rather than seconds.