100644 blob 85b353966c281c84cecbdf2ccbe7a538ca209c94	Kconfig.board
100644 blob e84eac60417226a60c9abc26c9893930610b5095	Kconfig.defconfig
100644 blob c925263c43a7310ae2cc902f83cfd3c62d35d311	Makefile
100644 blob 567ffcdb044dcbe91454d11ae48b1c93d1825b19	Makefile.board
100644 blob b033fafe4d9b8fa7d3faa986d00956eaeff43d9a	board.h
040000 tree bf9164d618b53e3c3270a3ad117368325a22d174	doc
100644 blob 26f77d931be9d55acaff3ff5744562c19507fddf	x86_jailhouse_defconfig