The 9front /sys/src/9/zynq port is aiju board's kernel. That could be ported to another zynq board like the little digilent cora z7 or arty z7. Those are just examples, there are many other zynq 7000 boards.

Aiju also did a cyclone SoC port for 9front. 

On Fri, Jan 28, 2022, 4:08 PM Eli Cohen <echoline@gmail.com> wrote:
I started working on a project with an ESP32 board (with a toolchain for linux) to make a /net/etherESP32 for wifi with 9P right on the little board. I got as far as realizing how different 802.11 and 802.3 are...

the unfinished code is at https://github.com/echoline/etherESP32

it would be cool to see an aijuboard with accelerated hardware devdraw on the fpga if that's even possible, or other hardware like that

On Fri, Jan 28, 2022, 1:01 PM Tony Mendoza <clueelf@tonymendoza.us> wrote:
Sorry wrong libstyx repo


T

On 1/28/2022 at 2:54 PM, "Tony Mendoza" <clueelf@tonymendoza.us> wrote:
A few years back I started trying to build something similar off of the STM32F4 line of ARM MCUs.


Supports ethernet, spi, usb otg, etc.  Thought about porting the libstyx library from Inferno over to
the STM32 platform.


Thin OS layer was provided by FreeRTOS.  STM32F4 specific HW was accessed using libopencm3


If interested...


Tony

On 1/28/2022 at 4:18 AM, "Lucio De Re" <lucio.dere@gmail.com> wrote:
On 1/28/22, Bakul Shah <bakul@iitbombay.org> wrote:
>
> Think of really simple, low power, low cost devices.
> USB can also provide power. USB+ATtiny85 devel boards
> cost ~$3 even at Amazon. And FPGA boards can be
> pretty inexpensive too. If you can find them.
>
I've recommended olimex.com in the past. They specialise in Open
Architecture Hardware. Their prices are very reasonable and product
range quite broad.

Lucio.

------------------------------------------
9fans: 9fans
Permalink: https://9fans.topicbox.com/groups/9fans/Ta4e584a373b05553-M84956412e025f5666616e7cd
Delivery options: https://9fans.topicbox.com/groups/9fans/subscription