tree 8b29277a89cd9816d449c444efc7bee876c4eb09
parent bd119ba6d72ef9e1b05287dee0e0338c39364855
author Austin Appleby <aappleby@google.com> 1633376912 -0700
committer Austin Appleby <aappleby@google.com> 1633470006 -0700

There's a bug preventing us from booting TockOS in debug builds, so turn off all optimizations for TockOS app and increase stack size so it still runs.

Change-Id: I5890ace6ce5f44d10e61fdc35bd6dcb887979906