Andrew Scheller

Is resinOS really the right place for 'experimental drivers'?

There's also another guide for doing this here: http://pi.gadgetoid.com/article/running-google-coder-on-your-existing-raspberry-pi-or-desktop-pc

Perhaps the top-level `README.md` also wants updating to match?

I know nothing about FreeRTOS, but looking at the content of the diff in this PR, does `xstr` need removing from `picow_freertos_iperf.c` too? :shrug:

@kilograham / @liamfraser I wonder if it might be worth modifying https://github.com/raspberrypi/pico-examples/blob/master/.github/workflows/cmake.yml to do several different builds, with different combinations of `#define` s set? :man_shrugging:

> Maybe this should be a separate issue? I'll let @kilograham decide if he wants to create an issue for it, since he knows _far_ more about the SDK (and...

...although I think using `-DPICO_BOARD=pico_w` still wouldn't build **everything**, as it then wouldn't build things requiring `PICO_DEFAULT_LED_PIN` ? :man_shrugging: (so a multiple-builds process might be needed?)

> where can I find an image with the RPT maintained kernel? https://www.raspberrypi.org/software/operating-systems/#raspberry-pi-os-32-bit :wink: If you want to use Debian, then that's something you'll need to ask the Debian maintainers...

I dunno much about DeviceTree, but maybe you can replicate whatever https://github.com/raspberrypi/linux/blob/rpi-5.10.y/arch/arm/boot/dts/bcm2711-rpi-4-b.dts#L627 is doing if you build your own kernel and/or dtb? :shrug: Or maybe you just need to wait...

@andrewufrank As I mentioned before, if you're using an OS which **isn't** Raspberry Pi OS (available at https://www.raspberrypi.org/software/ ) then you'll need to ask whoever develops that distro to pull...