I feel like he has considered everything. He also has AbacOS which is an abacus-based operating system, for when we run out of energy, then HamstOS for a hamster-wheel powered operating system
HamstOS is just the microcontroller for the power supply. Pros: it is voice activated and fault tolerant. Cons: only responds to voice prompts beginning "Hey Mr. Binky". Also, it secretly hates you.