100644 blob 965dc9cda33bd87b8401f4125db2c916f569d1ba	Kconfig.defconfig
100644 blob e5393bbf957acba3cb59031615b780f3d454e0f7	Kconfig.xenvm
100644 blob 5b5aec44c55ba5c8bb19772020177c5e7fb2ed23	board.yml
040000 tree a854f9fb51b708eb783c7b88d6914436c4e8f440	doc
100644 blob bbba268d9a35dd409587bbdcec482ed7ff55f712	xenvm.dts
100644 blob dc72d05e55031a1e84578a9ecab689cb4feb2700	xenvm.yaml
100644 blob 2115f9175bd2aa2311c8c565fe0985b2f107ab07	xenvm_defconfig
100644 blob dbf7e0dd33c022687d3a2ebefcc22b2418efe43c	xenvm_xenvm_gicv3.dts
100644 blob edf816e4979e160abe110ef932048ce7c9fa343d	xenvm_xenvm_gicv3.yaml