9a0a2c610232a5055904f557db8b4ba530e15d91 - sim/config

commit: 9a0a2c610232a5055904f557db8b4ba530e15d91

[log]
author: Marcin Witkowski <mwitkowski@antmicro.com>

Thu Apr 14 17:25:39 2022 +0200
committer: Marcin Witkowski <mwitkowski@antmicro.com>

Thu Apr 14 17:36:00 2022 +0200
tree: 9f5f924e554b4e199923af398419199e115502e2
parent: dfb9536c50d59094225edb3b85064ca445efd327 [diff]

sim:config: use upstream sel4 extensions

Change-Id: I31ef32a5c7687a35d1f479975c8be7e6fdec5a30

3 files changed

tree: 9f5f924e554b4e199923af398419199e115502e2