After reading about the PocketC.H.I.P., I assumed that it comes with FLOSS only, because:
Their page advertises:
Open Source Hardware and Software mean you can do almost anything!
Their FAQ says:
Is PocketC.H.I.P. Open Source? Yes, and you can get the hardware files at our github repo.
But I guess that these statements only apply to a subset of the product, as PICO-8 (which is proprietary) is pre-installed.
So is there anything else? Or does it become a fully free/libre/open system (software-wise) after uninstalling PICO-8?
I’m not only worried about applications (PICO-8 would be in this category), but also about firmware/drivers (e.g., for the WiFi, the GPU, etc.).
