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.
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.).