Hi Geert, On Friday, January 20, 2017, Geert Uytterhoeven wrote: > It takes longer to boot, though. I guess due to more kernel output? You can see there is a jump in the time when the system clocksource changes from mtu2 to ostm. [ 0.079591] clocksource: Switched to clocksource ostm [ 0.333650] NET: Registered protocol family 2 So, probably just some bad math or something because they are running at different rates. If you factor that out, the boot time is almost exactly the same. Thank you, Chris