By the way Richard, should I take the last rpi image at 9legacy as the more recent with your work? Are you going to abandon https://plan9.io/sources/contrib/miller/?
------------------------------------------ 9fans: 9fans Permalink: https://9fans.topicbox.com/groups/9fans/T668643d11149fab4-M406ab1ba9e7ee9fe37676b4a Delivery options: https://9fans.topicbox.com/groups/9fans/subscription