> It can't find *9tecpu.bin*.
> I presume that it's the Plan9 kernel.
> Any suggestions as to what steps to take in order to generate it?
Up to now the procedure for getting the 9k riscv kernel source
is to ask its author (Geoff Collyer) for a copy.
------------------------------------------
9fans: 9fans
Permalink: https://9fans.topicbox.com/groups/9fans/T8096c17a051960c4-Mad6ad16ae13be7e1ec1f1824
Delivery options: https://9fans.topicbox.com/groups/9fans/subscription