| commit | 6ae4b4b642441c102ef72700763c439cd6642bf6 | [log] [tgz] |
|---|---|---|
| author | Marcin Witkowski <mwitkowski@antmicro.com> | Thu Apr 14 17:27:08 2022 +0200 |
| committer | Marcin Witkowski <mwitkowski@antmicro.com> | Thu Apr 14 17:27:08 2022 +0200 |
| tree | acdf919b8f92e293ee2ed3ccc9f2c6606cf758ab | |
| parent | e54eb9fccd33dcd621057460188540fe0bc7ad23 [diff] |
scripts: use upstream sel4 extensions Change-Id: I1012629c5dfa450ee98edb274d2ebf33239c45bf