Kevin Witteveen (MartiniMarter)

`as if the UART I/O procedure itself interferes with other lock operations.` I think that is likely. As RP2040 suffers from glitchy and bad UART. Both on USB and HW...

@avgoor There have been recent stack overflow issues (not the website). Probably because NuttX is growing. If you have issues, please enable KASAN (MM_KASAN) and stack canaries in Kconfig. If...

I did increase it but we still have hangs if you run ps multiple times. This happened after the second time i flashed the pico. What if this is flash...

After enabling KASAN, everything appears to be "fixed" but i am sure it is not. Strange. 

Wow! That's great. I love RISC-V. I did not expect this RP23xx RISC-V to come to NuttX. I will be testing this out today as well, thanks!

Hmm, @shtirlic configuration fails and I am not entirely sure what this means. I cloned your branch. Output of ./tools/configure.sh from NuttX: > mkkconfig in /home/martini/projects/cleannuttx/nuttx-apps > warning: the choice...

Okay manually compiled the toolchain with the correct configuration, but as probably expected, this did not make the nuttx configuration work :thinking:

@shtirlic Nice, the warnings are gone! How do i make this using the custom built toolchain? It's targeting the wrong one. > riscv32-unknown-elf-ld: /opt/riscv32-gnu-toolchain-elf-bin/bin/../lib/gcc/riscv32-unknown-elf/14.2.0/libgcc.a(_udivdi3.o): can't link double-float modules with soft-float...

@shtirlic Nice! I confirmed this works perfectly fine with ostest. The serial output also looks consistent. The problem I had was quite simple. Doing make distclean after changing toolchain path...

@shtirlic I have a suggestion. This could save some big headaches for developers in the future using this config. I suggest increasing the stacksize of nsh_main by changing the default...