6 Commits

Author	SHA1	Message	Date
Julien Cretin	d9d16f4197	Also define storage for nrf52840_mdk_dfu	2020-06-10 14:10:10 +02:00
Guillaume Endignoux	4b9486d0bd	Sync with upstream Tock to have reproducible builds.	2020-04-08 15:45:46 +02:00
Guillaume Endignoux	4b1d5d2645	Typo.	2020-03-12 19:11:49 +01:00
Guillaume Endignoux	6f8b8e7a64	Sync nrf52840_mdk_dfu with upstream and add DFU-based boards to run_desktop_tests.sh	2020-03-12 19:08:05 +01:00
Jean-Michel Picod	b22832e9c7	Rely on Makefile to build Tock OS	2020-03-11 18:20:18 +01:00
Jean-Michel Picod	e63482af1c	Revamp deploy.py ... Now the script supports more flashing methods: - JLink (with tockloader) - OpenOCD (with tockloader) - pyOCD - Nordic DFU - none (will produce an IntelHex file) Also merged the contributions from: - Yihui Xiong to support the Makerdiary USB dongle board - Dennis Geurts to support Nordic DFU Doc updated accordingly. Imported 2 patches for Tock kernel: - 06-add-set_vector_table_offset.patch (upstream tock/tock#1579) - 07-nrf52-bootloader.patch (upstream tock/tock#1681)	2020-03-11 17:54:37 +01:00