Reduce memory footprint of this app

This will help supporting more targets.

Author: AlessandroA

source/led1.cpp

@@ -18,7 +18,7 @@ static void led1_main(const void *);
  * We do not need large stacks in either the main nor the interrupt thread, as
  * we do not do anything special in them. */
 UVISOR_BOX_NAMESPACE(NULL);
-UVISOR_BOX_HEAPSIZE(3 * 1024);
+UVISOR_BOX_HEAPSIZE(2 * 1024);
 UVISOR_BOX_MAIN(led1_main, osPriorityNormal, 512);
 UVISOR_BOX_CONFIG(box_led1, acl, 512, box_context);
 
@@ -39,6 +39,6 @@ static void led1_main(const void *)
         led1 = !led1;
         ++uvisor_ctx->heartbeat;
         alloc_fill_wait_verify_free(size, seed, 211);
-        specific_alloc_fill_wait_verify_free(alloc, 5 * kB, seed, 107);
+        specific_alloc_fill_wait_verify_free(alloc, 1 * kB, seed, 107);
     }
 }

source/led2.cpp

@@ -18,7 +18,7 @@ static void led2_main(const void *);
  * We do not need large stacks in either the main nor the interrupt thread, as
  * we do not do anything special in them. */
 UVISOR_BOX_NAMESPACE(NULL);
-UVISOR_BOX_HEAPSIZE(3 * 1024);
+UVISOR_BOX_HEAPSIZE(2 * 1024);
 UVISOR_BOX_MAIN(led2_main, osPriorityNormal, 512);
 UVISOR_BOX_CONFIG(box_led2, acl, 512, box_context);
 
@@ -38,13 +38,13 @@ static void led2_main(const void *)
      * page heap!
      */
     /* Allocate one page. */
-    alloc = secure_allocator_create_with_pages(4 * kB, 1 * kB);
+    alloc = secure_allocator_create_with_pages(2 * kB, 1 * kB);
     /* Allocate another page. */
-    SecureAllocator alloc2 = secure_allocator_create_with_pages(4 * kB, 1 * kB);
+    SecureAllocator alloc2 = secure_allocator_create_with_pages(8 * kB, 1 * kB);
     /* Deallocate alloc1 page, creating a hole. */
     secure_allocator_destroy(alloc);
     /* Allocate two pages. */
-    alloc = secure_allocator_create_with_pages(uvisor_get_page_size() + 3 * kB, 6 * kB);
+    alloc = secure_allocator_create_with_pages(4 * kB, 1 * kB);
     /* Deallocate alloc2 page, creating another hole. */
     secure_allocator_destroy(alloc2);
 
@@ -57,9 +57,9 @@ static void led2_main(const void *)
         alloc_fill_wait_verify_free(size, seed, 311);
 
         /* Allocate in first page */
-        specific_alloc_fill_wait_verify_free(alloc, 6 * kB, seed, 0);
+        specific_alloc_fill_wait_verify_free(alloc, 1 * kB, seed, 0);
 
         /* Allocate in second page */
-        specific_alloc_fill_wait_verify_free(alloc, 6 * kB, seed, 101);
+        specific_alloc_fill_wait_verify_free(alloc, 1 * kB, seed, 101);
     }
 }

source/led3.cpp

@@ -18,7 +18,7 @@ static void led3_main(const void *);
  * We need at least 1kB in the main thread as we use printf in it. The interrupt
  * stack size can be smaller as we do not do anything special in them. */
 UVISOR_BOX_NAMESPACE(NULL);
-UVISOR_BOX_HEAPSIZE(3 * 1024);
+UVISOR_BOX_HEAPSIZE(2 * 1024);
 UVISOR_BOX_MAIN(led3_main, osPriorityNormal, 1024);
 UVISOR_BOX_CONFIG(box_led3, acl, 512, box_context);
 

source/main.cpp

@@ -25,7 +25,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(2 * 1024, 8);
 
 static void main_alloc(void)
 {
@@ -35,7 +35,7 @@ static void main_alloc(void)
 
     while (1) {
         alloc_fill_wait_verify_free(50, seed, 577);
-        specific_alloc_fill_wait_verify_free(alloc, 5 * kB, seed, 97);
+        specific_alloc_fill_wait_verify_free(alloc, 1 * kB, seed, 97);
         seed++;
     }
 }