Use secure_launch_nonsecure_binary_default

Author: will-v-pi

trustzone/hello_trustzone/CMakeLists.txt

@@ -29,5 +29,5 @@ pico_set_security_options(hello_trustzone_s hello_trustzone_ns
 # Set security ram split
 pico_set_security_ram_split(hello_trustzone_s hello_trustzone_ns SIMPLE 64k 2k)
 
-# Create combined UF2
+# Create combined UF2 (ns first)
 pico_concatenate_uf2_outputs(hello_trustzone hello_trustzone_ns hello_trustzone_s)

trustzone/hello_trustzone/secure.c

@@ -76,7 +76,7 @@ int main()
     secure_install_default_hardfault_handler(hardfault_callback);
 
     // Launch Non-Secure binary
-    secure_launch_nonsecure_binary(XIP_BASE, SRAM8_BASE);
+    secure_launch_nonsecure_binary_default();
 
     // Should never return from non-secure code
     printf("Shouldn't return from non-secure code\n");