base-dbg.txz	0a066484216f185c5fbb8f8414e008baa0d403be533ca59dbe9fd0bcdceb872e	1021	base_dbg	"Base system (Debugging)"	off
base.txz	00aeab8d436db181007b0ab3da50c8f53c9246fad2cf9e009503a98d46776a53	27763	base	"Base system (MANDATORY)"	on
kernel-dbg.txz	09e046ac8b0336e2aed6a958e1aa90b40aadab2ff452b9713b68b11b761f04cb	586	kernel_dbg	"Kernel (Debugging)"	on
kernel.CHERI-CAPREVOKE-QEMU-dbg.txz	d5eccdfee8f37e15107926622943809e996861934abd6ff99659da230679d69c	586	kernel_CHERI_CAPREVOKE_QEMU_dbg	"Alternate Kernel (Debugging): CHERI-CAPREVOKE-QEMU"	off
kernel.CHERI-CAPREVOKE-QEMU.txz	5b446c904fcce00f99458395874783c2e4d676c87e04c7809d9c0b6f9ade1783	589	kernel_CHERI_CAPREVOKE_QEMU	"Alternate Kernel: CHERI-CAPREVOKE-QEMU"	off
kernel.txz	6374f76b3d4115f738fbd6774d9e2fc0748dca695a7473e4dcf10a6bf0f48474	589	kernel	"Kernel (MANDATORY)"	on
lib64-dbg.txz	76b5f24da3a220cf6f61900e9b3a3af01f7eea0203a003fae7a2a3adf0e4d10f	235	lib64_dbg	"64-bit compatibility libraries (Debugging)"	off
lib64.txz	24d349a0aff3c6d92830f97e4ea80fb8fb5a9093a36c626b287391706062f680	700	lib64	"64-bit compatibility libraries"	on
tests.txz	3543b9932222a243d9b947fca24997aa311ddacc122c5f0380dae7eb659ea37b	7047	tests	"Test suite"	off
