Restore ISLET-related build-and-test on CI

Signed-off-by: Sangwan Kwon <[email protected]>

CI/scripts/test.sh

@@ -791,9 +791,6 @@ function test-ISLET-SDK-shim_test() {
     echo "* Download ISLET SDK, build the library and run shim_test"
     echo "**********************************************************"
     echo " "
-    echo "****** WARNING! Skipped due to open issue #242, Fails on Ubuntu 22.04.4"
-    echo " "
-    return
 
     pushd src/islet > /dev/null 2>&1
 
@@ -819,9 +816,6 @@ function test-run_example-simple_app_under_islet-using-shim() {
     echo "* Test: Execute script to compile, build and run simple_app_under_islet using shim"
     echo "***********************************************************************************"
     echo " "
-    echo "****** WARNING! Skipped due to open issue #242, Fails on Ubuntu 22.04.4"
-    echo " "
-    return
 
     pushd ./sample_apps > /dev/null 2>&1
 

sample_apps/run_example.sh

@@ -1108,6 +1108,10 @@ function get_measurement_of_trusted_simple_app_under_islet() {
     # get_measurement_of_app_by_name "islet_example_app.exe"
 
     run_cmd
+    # The following mrenclave value should hardly change as it is
+    # a simulated version targeting x86_64. (The actual version only works on aarch64.)
+    # If you want to manually obtain the mrenclave value, refer to the islet CLI at the link below.
+    # https://github.com/islet-project/islet/blob/main/examples/cross-platform-e2ee/README.md#2-configure-measurements-and-policies
     local mrenclave="580bd77074f789f34841ea9920579ff29a59b9452b606f73811132b31c689da9"
     local measurement_file="example_app.measurement"