tree 3648b3d13803b04c4251ae0c5bee302297decbf8
parent cb8c6fd011f5abd137b128e760c3193bdbc9f5c0
author Marcin Witkowski <mwitkowski@antmicro.com> 1650034275 +0200
committer Marcin Witkowski <mwitkowski@antmicro.com> 1650034275 +0200

sim:config: use old SyscallId for seL4_DebugNameThread

Change-Id: Ie692ff2c2a061a2a7bb96b09cf5fbabb9f37041b