100644 blob 514fb7889358be2436252fa10eaac682910fcb54	Kconfig.board
100644 blob 6d3af5d3488e50ef643c2e7e71ad404d0ac5ea94	Kconfig.defconfig
100644 blob a27fb7bc693c9e130bf599c3c48b6f37b7ccbbac	board.cmake
040000 tree 7028d37648913c16a2465c3ef7ca7594ef89a609	doc
100644 blob 1409faac617b4b6cd4fdfdbcc5126accb059c15e	x86_jailhouse.dts
100644 blob 7e7623a41b6fcbf0f4daef20c8564942b4fcd462	x86_jailhouse_defconfig