base-dbg.txz	e2351512f9d6f00af0c405bfde7fc28c21712bcd1de399a6f113954f1a34a8c9	1015	base_dbg	"Base system (Debugging)"	off
base.txz	6c001e2412e2d51e5263344b7aba75f982366f5b9f67bbebbc30901595582e99	26106	base	"Base system (MANDATORY)"	on
kernel-dbg.txz	8709d8a610d9fffb0abd05faa0887fa357a244e339cff93216572a3c40f951f7	576	kernel_dbg	"Kernel (Debugging)"	on
kernel.CHERI-CAPREVOKE-QEMU-dbg.txz	d5240f2d663faf7effd18f3b8ce1bfd77306d6777e72fcbaa91aea07619219af	576	kernel_CHERI_CAPREVOKE_QEMU_dbg	"Alternate Kernel (Debugging): CHERI-CAPREVOKE-QEMU"	off
kernel.CHERI-CAPREVOKE-QEMU.txz	76993cb82cde9c8afcf1df41583dc90c5a9511abf3040f0343cb6ffe8ce7f41d	579	kernel_CHERI_CAPREVOKE_QEMU	"Alternate Kernel: CHERI-CAPREVOKE-QEMU"	off
kernel.txz	1f5826f89d23c5a9a8e22d9e1f5b5b95ccd1a456e6d155584f0b76b8a283815d	579	kernel	"Kernel (MANDATORY)"	on
lib64-dbg.txz	e32ba2d60d3af19675aaef4130348209f1e9eddf6f462803f6c8039b23d3cd8a	230	lib64_dbg	"64-bit compatibility libraries (Debugging)"	off
lib64.txz	8e780a8e4d8cd44ac2bb68390e7a47d099b9618780a822c0b76758b4485218e3	692	lib64	"64-bit compatibility libraries"	on
tests.txz	b94dec7c90de2e7cad126c989dde69e14a7d28e3fef2a260992f4f60eda999ca	7015	tests	"Test suite"	off
