> The site hasn't been updated since 2014-2015. The mirror 9pi.io has more recent patches in /sources/patch. There is also a good selection of patches in 9legacy.org/patch.html
Current raspberry pi kernel source is on 9p.io in /sources/contrib/miller/9/bcm So yes, there is current development but not centralised. ------------------------------------------ 9fans: 9fans Permalink: https://9fans.topicbox.com/groups/9fans/Tb6b3aefeebeb526d-M683a8b3b86a4181b1c5698e3 Delivery options: https://9fans.topicbox.com/groups/9fans/subscription