Maybe with the new s-expressions it will be more feasible for someone to create an importer for Renode. Assuming enough annotations or whatever.