Thanks for the lead.

Checked Geoff Collyer's web site <http://www.collyer.net/who/geoff/9/> and
the release of the Plan9 kernels for RISC-V are imminent.

I'll wait for Geoff to release the new kernels.
In the meantime I have some low-level programming work with your compiler
and tinyemu running on a Raspberry Pi 2B.


On Wed, 10 Nov 2021 at 02:04, Richard Miller <9fans@hamnavoe.com> wrote:

> > 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-Mc68eedfa333fa41eac523cde
Delivery options: https://9fans.topicbox.com/groups/9fans/subscription