Big update to the SDK - I'm including a complete static-linked toolchain now. This doesn't make much difference on Linux or FreeBSD, where developers likely have gcc and friends already. On Windows, though, it means the tools work out-of-the-box. On a clean Windows 10 system, for example, you only need 7zip (to unzip the SDK), nothing else. From there on, everything is included - the examples build their ISO images from source without having to install Cygwin/Msys/MSVC++/whatever. I guess a developer also needs something to write the image to an SD card. Maybe that's something I can whip up, too.
http://nekisoft.com.au/neki32/sdk/pvmk-sdk-20250627.7z
Haven't packaged up the simulator yet - getting an independent, static version of wxWidgets is a pain in the ass. It builds okay on Windows, FreeBSD, and Linux, but doesn't make a portable file yet.
Also moving ahead with the plastic cases: I did a design that should work with a simple straight-pull mould. I'm waiting on some 3d-printed samples from plastics companies here in Perth.