Fix memory usage for this app

* Reduce pages-backed memory, which is not needed by this example.
* Increase memory where needed to make sure threads have enough buffer
  space for printf.

Author: AlessandroA

source/client_a.cpp

@@ -33,7 +33,7 @@ static void client_a_main(const void *);
  * This box has a smaller interrupt and main thread stack sizes as we do nothing
  * special in them. */
 UVISOR_BOX_NAMESPACE("client_a");
-UVISOR_BOX_HEAPSIZE(3072);
+UVISOR_BOX_HEAPSIZE(4096);
 UVISOR_BOX_MAIN(client_a_main, osPriorityNormal, 768);
 UVISOR_BOX_CONFIG(secure_number_client_a, acl, 512, box_context);
 

source/main.cpp

@@ -26,7 +26,7 @@
 MAIN_ACL(g_main_acl);
 /* Enable uVisor. */
 UVISOR_SET_MODE_ACL(UVISOR_ENABLED, g_main_acl);
-UVISOR_SET_PAGE_HEAP(8 * 1024, 5);
+UVISOR_SET_PAGE_HEAP(1 * 1024, 1);
 
 DigitalOut led_red(LED1);
 DigitalOut led_green(LED2);

source/secure_number.cpp

@@ -36,8 +36,8 @@ static int set_number(uint32_t number);
 /* Box configuration */
 UVISOR_BOX_NAMESPACE(NULL);
 UVISOR_BOX_HEAPSIZE(3072);
-UVISOR_BOX_MAIN(number_store_main, osPriorityNormal, UVISOR_BOX_STACK_SIZE);
-UVISOR_BOX_CONFIG(box_number_store, acl, UVISOR_BOX_STACK_SIZE, box_context);
+UVISOR_BOX_MAIN(number_store_main, osPriorityNormal, 1024);
+UVISOR_BOX_CONFIG(box_number_store, acl, 512, box_context);
 
 #define uvisor_ctx ((box_context *) __uvisor_ctx)