Guillaume Endignoux
|
467121c962
|
Update third_party/libtock-drivers to support OpenSK.
|
2020-08-07 15:09:07 +02:00 |
|
Guillaume Endignoux
|
5f1fcaedf5
|
git mv leds.rs led.rs
|
2020-08-07 15:09:07 +02:00 |
|
Guillaume Endignoux
|
251e007d59
|
Import https://github.com/tock/libtock-rs at commit 828c19d into third_party/libtock-drivers/.
|
2020-08-07 15:09:07 +02:00 |
|
Guillaume Endignoux
|
0a38339b8e
|
Upgrade to Tock-1.5-rc2
|
2020-04-24 11:20:12 +02:00 |
|
Guillaume Endignoux
|
4b9486d0bd
|
Sync with upstream Tock to have reproducible builds.
|
2020-04-08 15:45:46 +02:00 |
|
Guillaume Endignoux
|
e6e04dd173
|
Sync upstream kernel to get reproducible builds.
|
2020-03-12 18:35:08 +01:00 |
|
Guillaume Endignoux
|
bb7a0ef801
|
Sync patches with upstream Tock.
|
2020-03-11 17:04:05 +01:00 |
|
Guillaume Endignoux
|
bf9e3620ec
|
Sync with upstream Tock to remove the latest patch.
|
2020-03-05 11:24:07 +01:00 |
|
Guillaume Endignoux
|
3831872585
|
Synchronize with upstream Tock to remove 04-rtt.patch
|
2020-02-27 13:42:47 +01:00 |
|
Jean-Michel Picod
|
f91d2fd3db
|
Initial commit
|
2020-01-30 11:47:29 +01:00 |
|