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:
I left the oven on for my partly-baked idea.
I'm now thinking that with fd 5 as an example:
open ("#d/5dir/a/b/c", ...)
might be a practical way to do this (the syntax I suggested earlier would
require walking from a file, which wouldn't be sensible).
So I went snorkeling in the kernel to see
