tree acdf919b8f92e293ee2ed3ccc9f2c6606cf758ab
parent e54eb9fccd33dcd621057460188540fe0bc7ad23
author Marcin Witkowski <mwitkowski@antmicro.com> 1649950028 +0200
committer Marcin Witkowski <mwitkowski@antmicro.com> 1649950028 +0200

scripts: use upstream sel4 extensions

Change-Id: I1012629c5dfa450ee98edb274d2ebf33239c45bf