search

UPB-CS-OpenSourceUpstream / tock

A secure embedded operating system for microcontrollers
https://www.tockos.org
Other
2 stars 6 forks source link

Increased stack memory for microbit #8

Closed JADarius closed 1 year ago

JADarius commented 1 year ago

Pull Request Overview

This pull request fixes the stack memory needed for the Process Console on the microbit board. The command process n caused a stack overflow which panics the kernel. The value was obtained by slowly incrementing the stack memory until the command process n didn't cause a stack overflow so that it would be the minimum necessary. I have attached the output of the command.

TODO

This pull request still needs some testing on other microbit boards to be sure that the kernel panic wasn't caused by faulty equipment.

alexandruradovici commented 1 year ago

I suggest rounding up the value to 0x1100. Please send this PR to the upstream tock repository.

JADarius commented 1 year ago

I have rounded it up and sent a PR: https://github.com/tock/tock/pull/3339

alexandruradovici commented 1 year ago

Closing as it got merged into upstream https://github.com/tock/tock/pull/3339