I built the 9pi4 kernel from Richard's sources and it works on my Pi400 (and Pi4B 8GB) with Richard's SD card image (didn't test 9front).
Please feel free to test it, I uploaded the kernel to: https://multicores.org/9/9pi4 (simply copy the file to the FAT partition of the SD card) The md5sum is dcd9c0bcf662fed7e4bb1966a79fe46d 9pi4 As Skip already mentioned, you also need to add enable_gic=1 to config.txt to enable correct interrupt routing. -- Michael ------------------------------------------ 9fans: 9fans Permalink: https://9fans.topicbox.com/groups/9fans/T0178132f3d2ed689-Mbb5bc53bcf8514d3645368be Delivery options: https://9fans.topicbox.com/groups/9fans/subscription