Kevin Witteveen (MartiniMarter)

icon indicating an email [email protected]

icon location Electrical engineering student. I am making sand think! Occasionally turn them into an unplanned gaseous substance.

Results 43 comments of Kevin Witteveen (MartiniMarter)

arch/risc-v/rp23xx-riscv: Initial rp23xx(rp2350) (Pico 2) RISC-V support

> Update: > changed the chip name to `rp23xx-rv` and board name to `raspberrypi-pico-2-rv` to me more consistent > @keever50 > ``` > 29 .. CONFIG_IDLETHREAD_STACKSIZE=2048 > 30 29 CONFIG_INIT_ENTRYPOINT="nsh_main"...

arch/risc-v/rp23xx-riscv: Initial rp23xx(rp2350) (Pico 2) RISC-V support

Just want to say you are doing a great job. I am still looking forward to this. You will make an impact, at least for me. Making the Raspberry Pi...

[BUG] `nsh_catfile` is writing too fast to the nsh console (garbled output, rp2040)

Hey, this looks like a common nuttx RP2040 problem that is still on-going. I have the same issues even when running 'help'. If you hold enter, does it sometimes print...