Hi Tomek, AFAIK, compiling the NuttX to run inside an FPGA is not a kind of task to be done in a GSoC project, it should be a long term effort (if John Keynes allows us).
Also keep in mind that currently NuttX RTOS is supposed to run on top of a processing unit (Microcontroller, Microprocessor, etc), it is not a simple state machine that can be emulated easily in FPGA. So, it should be something completely different. But of course, maybe there are some shortcuts that I'm not aware of. BTW, Victor is also interested in participating in other projects that are related to other areas of interest (i.e. Graphics, like X11 support to let NuttX run Unix/Linux graphics applications). Best Regards, Alan On Sat, Jan 27, 2024 at 1:23 PM Tomek CEDRO <to...@cedro.info> wrote: > Okay Victor, I was thinking about toolchain that you present in > "Sphery vs. Shapes" [1] to be adopted for NuttX on FPGA conversion > without a CPU design.. could you please send your full detailed > proposal then? :-) > > [1] https://www.youtube.com/watch?v=hn3sr3VMJQU > > -- > CeDeROM, SQ7MHZ, http://www.tomek.cedro.info > > On Sat, Jan 27, 2024 at 7:22 AM Victor Suarez Rovere > <suarezvic...@gmail.com> wrote: > > > > Just clarifying, the idea to run NuttX on a FPGA is to instantiate a CPU > > and peripherals on the FPGA and then run normally as if it were a MCU > > Good thing is that you can change the CPU, add/remove peripherals, etc. > > > > On Sat, Jan 27, 2024 at 12:32 AM Tomek CEDRO <to...@cedro.info> wrote: > > > > > Hey there Victor! Thanks for your interest in NuttX port to FPGA!! :-) > > > > > > No there is no such design yet.. you would have to create everything > > > from scratch.. so there is some serious amount of work to do.. but > > > imagine the results.. there will be just one step to ASIC!! :-) > > > > > > I could reconsider my mentor position in this kind of project because > > > I would really love to see the internals first hand.. with a help of > > > more experienced NuttX'er for sure as second mentor :-) :-) > > > > > > I did a PONG on FPGA over 10 years ago but I would never dare to run > > > CPU-less-program directly on FPGA.. then RTOS.. then lets say Atari > > > emulator.. chip module player.. open source smart debug probe.. a > > > neural interface.. who knows.. would that even fit into the FPGA? :-) > > > :-) > > > > > > I have a strong feeling this may be important.. but I leave the whole > > > decision to the PMC :-) > > > > > > Have a good weekend my friends :-) > > > Tomek > > > > > > -- > > > CeDeROM, SQ7MHZ, http://www.tomek.cedro.info > > > > > > On Sat, Jan 27, 2024 at 2:55 AM Victor Suarez Rovere > > > <suarezvic...@gmail.com> wrote: > > > > > > > > I can certainly port NuttX to run on some FPGA boards too > > > > Is any board already supported? > > > > > > > > On Fri, Jan 26, 2024 at 4:40 PM Alan C. Assis <acas...@gmail.com> > wrote: > > > > > > > > > Hi Tomek, > > > > > > > > > > His toolchain is focused on FPGA, but he is interested in > > > participating in > > > > > other projects for GSoC. > > > > > > > > > > Also we need NuttX mentors, I will participate, but for each > project we > > > > > need two mentors, please let me know who could be interested to > help. > > > > > > > > > > Best Regards, > > > > > > > > > > Alan > > > > > > > > > > On Fri, Jan 26, 2024 at 3:33 PM Tomek CEDRO <to...@cedro.info> > wrote: > > > > > > > > > > > On Fri, Jan 26, 2024 at 2:07 PM Alan C. Assis wrote: > > > > > > > Dear NuttXers, > > > > > > > Please find below some ideas of projects to improve NuttX > during > > > the > > > > > > > GSoC2024: > > > > > > > > > > > > > > > > https://cwiki.apache.org/confluence/display/COMDEV/GSoC+2024+Ideas+list > > > > > > > If you have some other ideas, please let me know. > > > > > > > > > > > > I would like to propose Victor Suarez (CC) idea for porting > toolchain > > > > > > NuttX RTOS directly to FPGA :-) > > > > > > > > > > > > > > > > > > > > > > > > > > > https://www.tomshardware.com/news/fpga-demo-shows-efficiency-gains-compared-to-x86-chip > > > > > > > > > > > > Tomek > > > > > > > > > > > > -- > > > > > > CeDeROM, SQ7MHZ, http://www.tomek.cedro.info > > > > > > > > > > > > > > >
