echo __BOOT''OK25374__
BST_SHARD=1/9 BST_SUITE_TIMEOUT=300 brintos-selftest