> So it's you to thank for porting Fuzix to Raspberry Pi Pico.

No not me it was David Given over at the link I gave (not my blog).

I have poked around Fuzix but I am not a major contributor.

> So is it possible to compile programs for Fuzix on a PC?

Most of the development is cross-devel from PC.