apache / nuttx

Apache NuttX is a mature, real-time embedded operating system (RTOS)
https://nuttx.apache.org/
Apache License 2.0
2.88k stars 1.17k forks source link

Support of NuttX for Zybo Z7 #3690

Closed bhatmahadev6 closed 3 years ago

bhatmahadev6 commented 3 years ago

Hey folks,

I want to boot NuttX on Xilinx Zybo Z7-10 with Litex-Vexrisc-v core in it.

please tell me the procedure to this!.

acassis commented 3 years ago

I don't know much about LITEX, the support was contributed by @key2 (Ramtin Amin) and I don't see he around. Currently our developer with more experiences on FPGA is @btashton but I don't think he uses LITEX. So, I suggest you to study the code at nuttx/arch/risc-v/src/litex to figure-out how things work and also talk to people from https://github.com/enjoy-digital/litex (@enjoy-digital). Just my 2 cents.

btashton commented 3 years ago

I use litex a lot. You should be able to use this basically the same way it was done for the Arty A7, just make sure your CSR offsets still match up. I do not have the Z7 but I can probably help you if you take a first attempt at it.

bhatmahadev6 commented 3 years ago

Thanks a lot @btashton @acassis will work on it and update if i get any issues.