tree 4f225edbdf68fdf8985a8a04dcfbda999888a29e
parent 8cc568123c9ca50c5038355eb493c9fc3a0be533
parent 6ae4b4b642441c102ef72700763c439cd6642bf6
author June Tate-Gans <jtgans@google.com> 1649971166 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1649971166 +0000

Merge "scripts: use upstream sel4 extensions"