[9fans] risc-v port

[9fans] risc-v port

[ron minnich]

[-- Attachment #1: Type: text/plain, Size: 847 bytes --]

you can follow along if you want with my attempt to get the risc-v port to
pid 1 in user mode.

I'm doing this because I want a non-Linux OS on risc-v, for the
vmthreads work. This will help me understand risc-v virtualization better.

https://github.com/rminnich/9front/commits/ron/

I'm making lots of mistakes, as you can no doubt tell, so, if you've ever
been intimidated by the idea of doing this kind of work, watching me
struggle may give you the confidence to try! Mistakes are a part of the
game.

Thanks to everyone who got the port to the point that I can try to push it
further along.

ron

------------------------------------------
9fans: 9fans
Permalink: https://9fans.topicbox.com/groups/9fans/T91b8a9ce989426e1-M004b702f93fd2df357c94aa0
Delivery options: https://9fans.topicbox.com/groups/9fans/subscription

[-- Attachment #2: Type: text/html, Size: 1509 bytes --]

Re: [9fans] risc-v port

[red]

> you can follow along if you want with my attempt to get the risc-v port to
> pid 1 in user mode.
>
> I'm doing this because I want a non-Linux OS on risc-v, for the
> vmthreads work. This will help me understand risc-v virtualization better.

is this different from the 9legacy risc-v port?

Re: [9fans] risc-v port

[ron minnich]

[-- Attachment #1: Type: text/plain, Size: 615 bytes --]

Yep

On Sun, Dec 14, 2025 at 10:59 <red@redfrey.com> wrote:

> > you can follow along if you want with my attempt to get the risc-v port
> to
> > pid 1 in user mode.
> >
> > I'm doing this because I want a non-Linux OS on risc-v, for the
> > vmthreads work. This will help me understand risc-v virtualization
> better.
>
> is this different from the 9legacy risc-v port?
>

------------------------------------------
9fans: 9fans
Permalink: https://9fans.topicbox.com/groups/9fans/Te7cba0ac54b86d4d-Med63340e4164706a77b97e60
Delivery options: https://9fans.topicbox.com/groups/9fans/subscription

[-- Attachment #2: Type: text/html, Size: 1372 bytes --]