A port of inferno-os on gec6410-s3c6410.