Unable to build

[SheetLightning]

This is what I get when I try to compile on a Pi 400 running a 32-bit version of PiOS:
Curiously, the Pi version compiled OK.

/home/johnc/src/pico-sdk-1.4.0/src/rp2040/hardware_structs/include/hardware/structs/bus_ctrl.h:55:5: error: unknown type name 'io_rw_32'
io_rw_32 sel;
^~~~~~~~
/home/johnc/src/pico-sdk-1.4.0/src/rp2040/hardware_structs/include/hardware/structs/bus_ctrl.h:65:5: error: unknown type name 'io_rw_32'
io_rw_32 priority;
^~~~~~~~
make[2]: *** [src/pico/CMakeFiles/master_360.dir/build.make:752: src/pico/CMakeFiles/master_360.dir/home/johnc/src/pico-extras/src/rp2_common/pico_scanvideo_dpi/scanvideo.c.obj] Error 1
make[2]: *** Waiting for unfinished jobs....
/home/johnc/src/pico-extras/src/rp2_common/pico_scanvideo_dpi/scanvideo.c:1867:12: error: expected declaration specifiers or '...' before string constant
GCC_Pragma("GCC pop_options")
^~~~~~~~~~~~~~~~~
[ 40%] Building C object src/pico/CMakeFiles/master_1080p.dir/home/johnc/src/pico-sdk-1.4.0/src/rp2_common/hardware_dma/dma.c.obj
make[2]: *** [src/pico/CMakeFiles/master_1080p.dir/build.make:752: src/pico/CMakeFiles/master_1080p.dir/home/johnc/src/pico-extras/src/rp2_common/pico_scanvideo_dpi/scanvideo.c.obj] Error 1
make[2]: *** Waiting for unfinished jobs....
make[1]: *** [CMakeFiles/Makefile2:2254: src/pico/CMakeFiles/master_1080p.dir/all] Error 2
make[1]: *** [CMakeFiles/Makefile2:2164: src/pico/CMakeFiles/master_360.dir/all] Error 2
make: *** [Makefile:84: all] Error 2

[SheetLightning]

Just wanted to add that I also tried compiling this on a Linux machine (Debian Bullseye) and got exactly the same error output.

[SheetLightning]

Ok I think I have solved this. The solution was to use the latest version of the Pico SDK (1.5.1 at the time of writing) as linked from this Github repository and not the older 1.4.0 version as suggested in the tutorial on the RasperryPi forum that I chanced upon first, simply because I was wanting to build b-em on RetroPie. I subsequently discovered it was possible to build on the Pico which became a secondary project. DO NOT use the SDK indicated here:

https://www.raspberrypi.com/news/emulate-a-bbc-micro-on-raspberry-pi-400/

Download the one from here:

https://github.com/raspberrypi/pico-sdk