Raspberry Pi port, piCore-15.0 is available!
Total Members Voted: 6
What I had in mind would be a persistent personal ondemand configuration, which might allow to use ondemand in a similar way as using extensions when in cloud mode with backup.