>also: why is RPI64 still a separate kernel, I thought we hate separate >kernels Initially it was for breaking down the issue into parts. (Mainly for me) Alternatively, it may be used as an example of minimal kernel. However I can understand that its existence is confused, so let's remove it. -- ryo shimizu