100644 blob b93dde87a0c8e95c4592508f26bed15c76efb4d8	Kconfig.board
100644 blob 199739b55feabccb53ebde17a57a1514d808df75	Kconfig.defconfig
100644 blob a27fb7bc693c9e130bf599c3c48b6f37b7ccbbac	board.cmake
040000 tree b7c88d8b8aa8188059a6537711e1eef68cd3eeb2	doc
100644 blob 1409faac617b4b6cd4fdfdbcc5126accb059c15e	x86_jailhouse.dts
100644 blob 7e7623a41b6fcbf0f4daef20c8564942b4fcd462	x86_jailhouse_defconfig