Sync patches with upstream Tock.

This commit is contained in:
Guillaume Endignoux
2020-03-11 17:04:05 +01:00
parent fa4271104d
commit bb7a0ef801
5 changed files with 26 additions and 932 deletions