tree 08f78e6d975d399fbedecf741e17d73ada24d63e
parent 2be64e116c7bd66805619a2f814ee841c2a2802d
author Marcin Witkowski <mwitkowski@antmicro.com> 1645111785 +0100
committer Marcin Witkowski <mwitkowski@antmicro.com> 1645111785 +0100

scripts: load sel4 extensions in kgdb.sh

Change-Id: I84a4161ddcaf0e036eb6b9ff4664a78d7dc0c279