I made some progress of the Inferno OS RPI port, I have successful followed to the lab 11, which is "_div, testing print". My setup contains a 9front cpu server and drawterm running on OpenBSD. Source are on my OpenBSD machine, with drawterm connected it becomes /mnt/term/home/.../inferno. I compile the source on 9front, then copy irpi to a directory for ip/tftpd. The rpi can tftpboot the kernel, can also reset via a hardware button. I can run rizin to see the assembly with os rizin irpi, which I think is pretty neat. Next is doing helloword from limbo, heh..