And that was only the summary of a selection ;-)
I'm using my OP2 Oberon compiler version and also my Micron compiler, and both indeed just need a few seconds for the build of the whole Oberon or Micron System 3 and only a few megabytes of source code. Version 6 of IDF didn't even work on my host.
Claude managed to get idf v6 to work in a docker container, but I've ripped that out now. would you say that most of the issues you had with the p4 was the board, rather than the underlying cpu? the one I have in mind is more this sort of thing: https://www.aliexpress.com/item/1005009278783008.html (as opposed to a SBC like the rpi).
> would you say that most of the issues you had with the p4 was the board
Both. The USB-JTAG flapping is probably a board issue, as is the HDMI integration; and they use the 1.0 version of the P4 which also has its issues. Your link doesn't work from my location, and I don't have experience with other P4 versions so far.