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>
12 lines
420 B
Markdown
12 lines
420 B
Markdown
Fixes #<issue_number_goes_here>
|
|
|
|
> It's a good idea to open an issue first for discussion.
|
|
|
|
- [ ] Local tests pass (running `run_desktop_tests.sh`)
|
|
- [ ] Tested against boards
|
|
- [ ] Nordic nRF52840 DK
|
|
- [ ] Nordic nRF52840 Dongle (JTAG programmed)
|
|
- [ ] Nordic nRF52840 Dongle (DFU programmed)
|
|
- [ ] Makerdiary nRF52840 MDK USB Dongle
|
|
- [ ] Appropriate changes to README are included in PR
|