boards: Set stack size from within apps

boards/layout_apollo3.ld

@@ -6,12 +6,6 @@ MEMORY {
   SRAM (rwx) : ORIGIN = 0x10002000, LENGTH = 0x2000
 }
 
-/*
- * Any change to STACK_SIZE should be accompanied by a corresponding change to
- * `elf2tab`'s `--stack` option
- */
-STACK_SIZE = 2048;
-
 MPU_MIN_ALIGN = 8K;
 
 INCLUDE layout_generic.ld

boards/layout_hail.ld

@@ -6,12 +6,6 @@ MEMORY {
   SRAM (rwx) : ORIGIN = 0x20004000, LENGTH = 62K
 }
 
-/*
- * Any change to STACK_SIZE should be accompanied by a corresponding change to
- * `elf2tab`'s `--stack` option
- */
-STACK_SIZE = 2048;
-
 MPU_MIN_ALIGN = 8K;
 
 INCLUDE layout_generic.ld

boards/layout_hifive1.ld

@@ -13,12 +13,6 @@ MEMORY {
   SRAM (rwx) : ORIGIN = 0x80002400, LENGTH = 0x1C00
 }
 
-/*
- * Any change to STACK_SIZE should be accompanied by a corresponding change to
- * `elf2tab`'s `--stack` option
- */
-STACK_SIZE = 2048;
-
 MPU_MIN_ALIGN = 1K;
 
 INCLUDE layout_generic.ld

boards/layout_imxrt1050.ld

@@ -6,12 +6,6 @@ MEMORY {
   SRAM (rwx) : ORIGIN = 0x20004000, LENGTH = 112K
 }
 
-/*
- * Any change to STACK_SIZE should be accompanied by a corresponding change to
- * `elf2tab`'s `--stack` option
- */
-STACK_SIZE = 2048;
-
 MPU_MIN_ALIGN = 8K;
 
 INCLUDE layout_generic.ld

boards/layout_msp432.ld

@@ -4,12 +4,6 @@ MEMORY {
   SRAM (rwx) : ORIGIN = 0x20004000, LENGTH = 0x2000
 }
 
-/*
- * Any change to STACK_SIZE should be accompanied by a corresponding change to
- * `elf2tab`'s `--stack` option
- */
-STACK_SIZE = 2048;
-
 MPU_MIN_ALIGN = 8K;
 
 INCLUDE layout_generic.ld

boards/layout_nrf52.ld

@@ -6,12 +6,6 @@ MEMORY {
   SRAM (rwx) : ORIGIN = 0x20004000, LENGTH = 62K
 }
 
-/*
- * Any change to STACK_SIZE should be accompanied by a corresponding change to
- * `elf2tab`'s `--stack` option
- */
-STACK_SIZE = 2048;
-
 MPU_MIN_ALIGN = 8K;
 
 INCLUDE layout_generic.ld

boards/layout_nrf52840.ld

@@ -6,12 +6,6 @@ MEMORY {
   SRAM (rwx) : ORIGIN = 0x20004000, LENGTH = 62K
 }
 
-/*
- * Any change to STACK_SIZE should be accompanied by a corresponding change to
- * `elf2tab`'s `--stack` option
- */
-STACK_SIZE = 2048;
-
 MPU_MIN_ALIGN = 8K;
 
 INCLUDE layout_generic.ld

boards/layout_nucleo_f429zi.ld

@@ -6,12 +6,6 @@ MEMORY {
   SRAM (rwx) : ORIGIN = 0x20004000, LENGTH = 112K
 }
 
-/*
- * Any change to STACK_SIZE should be accompanied by a corresponding change to
- * `elf2tab`'s `--stack` option
- */
-STACK_SIZE = 2048;
-
 MPU_MIN_ALIGN = 8K;
 
 INCLUDE layout_generic.ld

boards/layout_nucleo_f446re.ld

@@ -6,12 +6,6 @@ MEMORY {
   SRAM (rwx) : ORIGIN = 0x20004000, LENGTH = 176K
 }
 
-/*
- * Any change to STACK_SIZE should be accompanied by a corresponding change to
- * `elf2tab`'s `--stack` option
- */
-STACK_SIZE = 2048;
-
 MPU_MIN_ALIGN = 8K;
 
 INCLUDE layout_generic.ld

boards/layout_opentitan.ld

@@ -13,12 +13,6 @@ MEMORY {
   SRAM (rwx) : ORIGIN = 0x10004000, LENGTH = 512K
 }
 
-/*
- * Any change to STACK_SIZE should be accompanied by a corresponding change to
- * `elf2tab`'s `--stack` option
- */
-STACK_SIZE = 2048;
-
 MPU_MIN_ALIGN = 1K;
 
 INCLUDE layout_generic.ld

core/examples/empty_main.rs

@@ -4,6 +4,11 @@
 
 #![no_std]
 
+/// Dummy buffer that causes the linker to reserve enough space for the stack.
+#[no_mangle]
+#[link_section = ".stack_buffer"]
+pub static mut STACK_MEMORY: [u8; 0x400] = [0; 0x400];
+
 // If you don't *use* anything from libtock_core directly, cargo will not link
 // it into the executable. However, we still need the runtime and lang items.
 // Therefore a libtock_core app that doesn't directly mention anything in

examples-features/alloc_error.rs

@@ -11,6 +11,11 @@ use libtock::println;
 use libtock::result::TockResult;
 use libtock::syscalls;
 
+/// Dummy buffer that causes the linker to reserve enough space for the stack.
+#[no_mangle]
+#[link_section = ".stack_buffer"]
+pub static mut STACK_MEMORY: [u8; 0x800] = [0; 0x800];
+
 #[libtock::main]
 fn main() -> TockResult<()> {
     let mut vec = Vec::new();

examples-features/ble_scanning.rs

@@ -5,6 +5,11 @@ use libtock::result::TockResult;
 use libtock::simple_ble;
 use serde::Deserialize;
 
+/// Dummy buffer that causes the linker to reserve enough space for the stack.
+#[no_mangle]
+#[link_section = ".stack_buffer"]
+pub static mut STACK_MEMORY: [u8; 0x800] = [0; 0x800];
+
 #[derive(Deserialize)]
 struct LedCommand {
     pub nr: u8,

examples-features/ctap.rs

@@ -4,6 +4,11 @@
 #![no_std]
 #![feature(alloc_error_handler)]
 
+/// Dummy buffer that causes the linker to reserve enough space for the stack.
+#[no_mangle]
+#[link_section = ".stack_buffer"]
+pub static mut STACK_MEMORY: [u8; 0x5000] = [0; 0x5000];
+
 extern crate alloc;
 
 use core::alloc::Layout;

examples-features/libtock_test.rs

@@ -22,6 +22,11 @@ use libtock::result::TockResult;
 use libtock::timer::DriverContext;
 use libtock::timer::Duration;
 
+/// Dummy buffer that causes the linker to reserve enough space for the stack.
+#[no_mangle]
+#[link_section = ".stack_buffer"]
+pub static mut STACK_MEMORY: [u8; 0x800] = [0; 0x800];
+
 #[libtock::main]
 async fn main() -> TockResult<()> {
     let mut drivers = libtock::retrieve_drivers()?;

examples-features/panic.rs

@@ -7,6 +7,11 @@ use libtock::println;
 use libtock::result::TockResult;
 use libtock::syscalls;
 
+/// Dummy buffer that causes the linker to reserve enough space for the stack.
+#[no_mangle]
+#[link_section = ".stack_buffer"]
+pub static mut STACK_MEMORY: [u8; 0x800] = [0; 0x800];
+
 #[libtock::main]
 async fn main() -> TockResult<()> {
     panic!("Bye world!");

examples-features/simple_ble.rs

@@ -7,6 +7,11 @@ use libtock::simple_ble::BleAdvertisingDriver;
 use libtock::timer::Duration;
 use serde::Serialize;
 
+/// Dummy buffer that causes the linker to reserve enough space for the stack.
+#[no_mangle]
+#[link_section = ".stack_buffer"]
+pub static mut STACK_MEMORY: [u8; 0x800] = [0; 0x800];
+
 #[derive(Serialize)]
 struct LedCommand {
     pub nr: u8,

examples/adc.rs

@@ -4,6 +4,11 @@ use libtock::println;
 use libtock::result::TockResult;
 use libtock::timer::Duration;
 
+/// Dummy buffer that causes the linker to reserve enough space for the stack.
+#[no_mangle]
+#[link_section = ".stack_buffer"]
+pub static mut STACK_MEMORY: [u8; 0x800] = [0; 0x800];
+
 #[libtock::main]
 async fn main() -> TockResult<()> {
     let mut drivers = libtock::retrieve_drivers()?;

examples/adc_buffer.rs

@@ -5,6 +5,11 @@ use libtock::println;
 use libtock::result::TockResult;
 use libtock::syscalls;
 
+/// Dummy buffer that causes the linker to reserve enough space for the stack.
+#[no_mangle]
+#[link_section = ".stack_buffer"]
+pub static mut STACK_MEMORY: [u8; 0x800] = [0; 0x800];
+
 #[libtock::main]
 /// Reads a 128 byte sample into a buffer and prints the first value to the console.
 async fn main() -> TockResult<()> {

examples/blink.rs

@@ -3,6 +3,11 @@
 use libtock::result::TockResult;
 use libtock::timer::Duration;
 
+/// Dummy buffer that causes the linker to reserve enough space for the stack.
+#[no_mangle]
+#[link_section = ".stack_buffer"]
+pub static mut STACK_MEMORY: [u8; 0x400] = [0; 0x400];
+
 #[libtock::main]
 async fn main() -> TockResult<()> {
     let mut drivers = libtock::retrieve_drivers()?;

examples/blink_random.rs

@@ -4,6 +4,11 @@ use libtock::leds::LedsDriver;
 use libtock::result::TockResult;
 use libtock::timer::Duration;
 
+/// Dummy buffer that causes the linker to reserve enough space for the stack.
+#[no_mangle]
+#[link_section = ".stack_buffer"]
+pub static mut STACK_MEMORY: [u8; 0x400] = [0; 0x400];
+
 #[libtock::main]
 async fn main() -> TockResult<()> {
     let mut drivers = libtock::retrieve_drivers()?;

examples/button_leds.rs

@@ -4,6 +4,11 @@ use futures::future;
 use libtock::buttons::ButtonState;
 use libtock::result::TockResult;
 
+/// Dummy buffer that causes the linker to reserve enough space for the stack.
+#[no_mangle]
+#[link_section = ".stack_buffer"]
+pub static mut STACK_MEMORY: [u8; 0x800] = [0; 0x800];
+
 #[libtock::main]
 async fn main() -> TockResult<()> {
     let mut drivers = libtock::retrieve_drivers()?;

examples/button_read.rs

@@ -4,6 +4,11 @@ use libtock::println;
 use libtock::result::TockResult;
 use libtock::timer::Duration;
 
+/// Dummy buffer that causes the linker to reserve enough space for the stack.
+#[no_mangle]
+#[link_section = ".stack_buffer"]
+pub static mut STACK_MEMORY: [u8; 0x800] = [0; 0x800];
+
 #[libtock::main]
 async fn main() -> TockResult<()> {
     let mut drivers = libtock::retrieve_drivers()?;

examples/button_subscribe.rs

@@ -6,6 +6,11 @@ use libtock::println;
 use libtock::result::TockResult;
 use libtock::timer::Duration;
 
+/// Dummy buffer that causes the linker to reserve enough space for the stack.
+#[no_mangle]
+#[link_section = ".stack_buffer"]
+pub static mut STACK_MEMORY: [u8; 0x800] = [0; 0x800];
+
 #[libtock::main]
 async fn main() -> TockResult<()> {
     let mut drivers = libtock::retrieve_drivers()?;

examples/ctap.rs

@@ -6,6 +6,11 @@ use libtock::result::TockResult;
 use libtock::syscalls;
 use libtock::{print, println};
 
+/// Dummy buffer that causes the linker to reserve enough space for the stack.
+#[no_mangle]
+#[link_section = ".stack_buffer"]
+pub static mut STACK_MEMORY: [u8; 0x800] = [0; 0x800];
+
 #[libtock::main]
 async fn main() -> TockResult<()> {
     let mut drivers = libtock::retrieve_drivers()?;

examples/gpio.rs

@@ -3,6 +3,11 @@
 use libtock::result::TockResult;
 use libtock::timer::Duration;
 
+/// Dummy buffer that causes the linker to reserve enough space for the stack.
+#[no_mangle]
+#[link_section = ".stack_buffer"]
+pub static mut STACK_MEMORY: [u8; 0x800] = [0; 0x800];
+
 // Example works on P0.03
 #[libtock::main]
 async fn main() -> TockResult<()> {

examples/gpio_read.rs

@@ -5,6 +5,11 @@ use libtock::println;
 use libtock::result::TockResult;
 use libtock::timer::Duration;
 
+/// Dummy buffer that causes the linker to reserve enough space for the stack.
+#[no_mangle]
+#[link_section = ".stack_buffer"]
+pub static mut STACK_MEMORY: [u8; 0x800] = [0; 0x800];
+
 // example works on p0.03
 #[libtock::main]
 async fn main() -> TockResult<()> {

examples/hello_world.rs

@@ -7,6 +7,11 @@
 use libtock::println;
 use libtock::result::TockResult;
 
+/// Dummy buffer that causes the linker to reserve enough space for the stack.
+#[no_mangle]
+#[link_section = ".stack_buffer"]
+pub static mut STACK_MEMORY: [u8; 0x400] = [0; 0x400];
+
 #[libtock::main]
 async fn main() -> TockResult<()> {
     let drivers = libtock::retrieve_drivers()?;

examples/hmac.rs

@@ -5,6 +5,11 @@ use libtock::println;
 use libtock::result::TockResult;
 use libtock::syscalls;
 
+/// Dummy buffer that causes the linker to reserve enough space for the stack.
+#[no_mangle]
+#[link_section = ".stack_buffer"]
+pub static mut STACK_MEMORY: [u8; 0x800] = [0; 0x800];
+
 #[libtock::main]
 async fn main() -> TockResult<()> {
     let mut drivers = libtock::retrieve_drivers()?;

examples/sensors.rs

@@ -5,6 +5,11 @@ use libtock::result::TockResult;
 use libtock::sensors::Sensor;
 use libtock::timer::Duration;
 
+/// Dummy buffer that causes the linker to reserve enough space for the stack.
+#[no_mangle]
+#[link_section = ".stack_buffer"]
+pub static mut STACK_MEMORY: [u8; 0x800] = [0; 0x800];
+
 #[libtock::main]
 async fn main() -> TockResult<()> {
     let mut drivers = libtock::retrieve_drivers()?;

examples/seven_segment.rs

@@ -4,6 +4,11 @@ use libtock::electronics::ShiftRegister;
 use libtock::result::TockResult;
 use libtock::timer::Duration;
 
+/// Dummy buffer that causes the linker to reserve enough space for the stack.
+#[no_mangle]
+#[link_section = ".stack_buffer"]
+pub static mut STACK_MEMORY: [u8; 0x800] = [0; 0x800];
+
 fn number_to_bits(n: u8) -> [bool; 8] {
     match n {
         1 => [false, false, false, true, false, true, false, false],

examples/temperature.rs

@@ -4,6 +4,11 @@ use libtock::println;
 use libtock::result::TockResult;
 use libtock::timer::Duration;
 
+/// Dummy buffer that causes the linker to reserve enough space for the stack.
+#[no_mangle]
+#[link_section = ".stack_buffer"]
+pub static mut STACK_MEMORY: [u8; 0x800] = [0; 0x800];
+
 #[libtock::main]
 async fn main() -> TockResult<()> {
     let mut drivers = libtock::retrieve_drivers()?;