base-dbg.txz	58ac2f7d7601ca5dbb5bff89b757aea841cbfcf37ebf50905ee66bf9b81731a2	978	base_dbg	"Base system (Debugging)"	off
base.txz	c3a2e84192d57e53db4648d619d9ad78acabf6141497eed5c6b1c4cc0e09bfee	26419	base	"Base system (MANDATORY)"	on
kernel-dbg.txz	129eefc45b27313acf6ddb11a5d6de3b79343c29a73ba88d713cfd215191c106	582	kernel_dbg	"Kernel (Debugging)"	on
kernel.CHERI-CAPREVOKE-QEMU-dbg.txz	051976b4131fd3051eeed8547588937e7ec25901266484025bc05db42cb189b9	582	kernel_CHERI_CAPREVOKE_QEMU_dbg	"Alternate Kernel (Debugging): CHERI-CAPREVOKE-QEMU"	off
kernel.CHERI-CAPREVOKE-QEMU.txz	1d0dd6b4989901659b142bdbc0a498c56fdfbdd8fe56a1767f9ab0d0925bde8e	585	kernel_CHERI_CAPREVOKE_QEMU	"Alternate Kernel: CHERI-CAPREVOKE-QEMU"	off
kernel.txz	fb4f667e177f3d9f656e29e10a76b7cca3b928c1f4d5a3d0ed68acbc685f6189	585	kernel	"Kernel (MANDATORY)"	on
lib64c-dbg.txz	a3f1c58aab9715d77afcaf4b42ea8244d8fa64aef3fab0361fb3872bc9654f27	214	lib64c_dbg	"CheriABI compatibility libraries (Debugging)"	off
lib64c.txz	c18b47c505ed1d17d2c69e8e47ed327d206519e0ae6ce5eafe51ba559056fc12	632	lib64c	"CheriABI compatibility libraries"	on
tests.txz	dd37d161684d81ce1c44e85aa2b86f63e97a7d91a9af284e24281cfe982ad32f	5516	tests	"Test suite"	off
