| commit | b5af5a8c78135e72e59571a8cbcd38c86ba499b7 | [log] [tgz] |
|---|---|---|
| author | Marcin Witkowski <mwitkowski@antmicro.com> | Thu Feb 17 16:29:45 2022 +0100 |
| committer | Marcin Witkowski <mwitkowski@antmicro.com> | Thu Feb 17 16:29:45 2022 +0100 |
| tree | 08f78e6d975d399fbedecf741e17d73ada24d63e | |
| parent | 2be64e116c7bd66805619a2f814ee841c2a2802d [diff] |
scripts: load sel4 extensions in kgdb.sh Change-Id: I84a4161ddcaf0e036eb6b9ff4664a78d7dc0c279