Hmm.. how liteX is related to the QNX-inspired OS with selectable kernels? :)
Use litex to define/build a riscv soc-on-fpga, boot qsoe instead of Linux on said fpga?
Thanks for the clarification! Till today I didn't know you can build a 64-bit RISC-V CPU with LiteX. Cool!
The only problem (for me) is the availability of suitable hardware to implement it :) The only FPGA board I got is GateMate EVB-A1.
Where are you based, I can get you something beefier?
I got a Tang Primer for one of my own projects recently.
Oh, don't worry (and thanks for the offer!) -- I'll soon have Artix 7 powered board (or may be even something "beefier"). At least the "Dragon Board" with Artix 7 I will need for the video controller for my Unmatched: it has a PCIe connector & HDMI connector.