Hi Dirk,
Thanks for your response, that is great news!

I am looking into using your Revolution Pi platform as a connected IoT device with a robot management system, and I need at least 1.2gb free on the flash storage to install a docker image. How much of the 4gb eMMC flash is consumed by the ...