Network is not configured on the realm about islet HOT 5 CLOSED

After launching a realm with ./launch-realm.sh net as @jinbpark mentioned, Could you try to set the realm's ip with below command?

/shared/set-realm-ip.sh

from islet.

89d9865
--> Could you retry with $ ./launch-realm.sh net instead of $ ./launch-realm.sh?

$ ./launch-realm.sh net --> launch a realm with networking
$ ./launch-realm.sh --> launch a realm without networking

We modified the script several months ago, but it seems that we've missed updating network.md along with it.

from islet.

We modified the script several months ago, but it seems that we've missed updating network.md along with it.

Oops, it's my fault. Sorry for not updating the document!

from islet.

Full script here--

1. Host: `$ ./scripts/fvp-cca --normal-world=linux-net --realm=linux --rmm=tf-rmm`

2. FVP Host: `$ ./launch-realm.sh net`

3. Realm: `$ /shared/set-realm-ip.sh`

I'll update network.md after you confirm it works.

Tested with #243 applied. (I've tested with --rmm=islet --hes as this is the configuration I need).
Confirmed it does work.

from islet.

Full script here--

1. Host: $ ./scripts/fvp-cca --normal-world=linux-net --realm=linux --rmm=tf-rmm
2. FVP Host: $ ./launch-realm.sh net
3. Realm: $ /shared/set-realm-ip.sh

I'll update network.md after you confirm it works.

from islet.