why not use millers Rpi kernel instead? Isn't it also including all the important changes? On Sunday, May 22, 2022, adr wrote: > On Sat, 21 May 2022, Dan Cross wrote: > >> To answer your original question, no: there is no aarch64 support in >> either 9legacy or the >> Bell Labs distribution. >> >> - Dan C. >> > > I just ported 7c, 7l and 7a from 9front. I'm adjusting libmach, > mkfiles, etc. Porting 9front's aarch64 raspberry pi kernel can be > an oportunity to learn about the kernel design. > > adr. ------------------------------------------ 9fans: 9fans Permalink: https://9fans.topicbox.com/groups/9fans/T000c7f7d66260ba3-Ma2603b1c67fa83c4948d0ca9 Delivery options: https://9fans.topicbox.com/groups/9fans/subscription