c1f2551d0d
* Bump Tock kernel version * Update boards to new kernel * Update patches to new kernel * Update PR template * Bump libtock-rs * Use new layout from libtock-rs * Fix clippy warnings due to updated toolchain * Fix new toolchain file format * Bump elf2tab to v0.7.0 * Fix worklow and setup.sh script to use the TOML rust-toolchain file * New libtock-rs style of declaring the stack. * Fix padding in layout file. The layout from libtock-rs generates invalid flash padding. The value is 32-bit and therefore setting padding to 0xff yields 0xff000000 instead of 0xffffffff that we want. * adds tock patch for app break hard fault * sets in deploy, removed patch 04-mpu-fix * fixed the if deploy * fixes indentation * updates board names in install.md * fix docs and deploy style Co-authored-by: Fabian Kaczmarczyck <kaczmarczyck@google.com> Co-authored-by: kaczmarczyck <43844792+kaczmarczyck@users.noreply.github.com>
14 lines
484 B
Diff
14 lines
484 B
Diff
diff --git a/arch/cortex-m/src/syscall.rs b/arch/cortex-m/src/syscall.rs
|
|
index c78b1c9fb..2769d0138 100644
|
|
--- a/arch/cortex-m/src/syscall.rs
|
|
+++ b/arch/cortex-m/src/syscall.rs
|
|
@@ -65,7 +65,7 @@ impl kernel::syscall::UserspaceKernelBoundary for SysCall {
|
|
//
|
|
// The 1.x Tock kernel allocates at least 3 kB to processes, and we need
|
|
// to ensure that happens as userspace may expect it.
|
|
- 3 * 1024
|
|
+ 16 * 1024
|
|
|
|
// TOCK 2.0
|
|
//
|