Thanks, I got the Raspbian image and I can see .dtb files there, but can't find a clear explanation of how to get the .bin files out of there. For moment I've just found an Ethernet cable and now at least my Plan 9 machine is on the network.
------------------------------------------
9fans: 9fans
Permalink: https://9fans.topicbox.com/groups/9fans/T42a55b55ffb81417-M0437b8df134dbeac71cffd02
Delivery options: https://9fans.topicbox.com/groups/9fans/subscription