100644 blob a967e98216aa2e6f14b54de8049f7d2430509213	Kconfig.board
100644 blob 2e8d48bc8f65df2d3bc0cc5cd0a81b051948eadf	Kconfig.defconfig
040000 tree 7dbed07e86097de52d9580f773bfbec47a67dfa7	doc
100644 blob c2ebaff21a41ecd79343df0b134839df94ce007b	xenvm.dts
100644 blob 25e402bfc34e04f4683170347479ac3ce97a114d	xenvm_defconfig