Upgrading ExOS from v6 to v7