This page has been moved to the official NixOS Wiki:
⇒ NixOS on ARM/Toshiba AC100
— samueldr, Lead of NixOS on ARM.