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.