On 21/11/2018 07:21, Ryo Shimizu wrote:
also: why is RPI64 still a separate kernel, I thought we hate separate kernelsInitially 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.
I removed it already. Nick