tree ac12f804301ca1d216c51b3888e6fafcc13b6cae
parent c4fb4c050701919345657f4ac3ff0fc36d16e366
parent 20b01e73fff1539e6926fc113c2dd292c1ac2b9c
author Sam Leffler <sleffler@google.com> 1660838181 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1660838181 +0000

Merge "kcargo.sh: honor SEL4_OUT_DIR from the environment"