base-dbg.txz	c16eaa487f5c587668ee66044eed73f53247f7a1a3173cc795eb9e0fb92ddaaf	1016	base_dbg	"Base system (Debugging)"	off
base.txz	49fb68982a96875b64e0f9bea4ecf4643ef55567db0e2071218e81ea9852e7ac	26179	base	"Base system (MANDATORY)"	on
kernel-dbg.txz	4979fa6bb7591c58694590baa4827e7010f0fb4af02517e472dee6500045fd57	582	kernel_dbg	"Kernel (Debugging)"	on
kernel.CHERI-CAPREVOKE-QEMU-dbg.txz	f6b56eede4423a930b7a6b12cf7678ed18e90bd24c20e29a0eb77b035c1a98e0	582	kernel_CHERI_CAPREVOKE_QEMU_dbg	"Alternate Kernel (Debugging): CHERI-CAPREVOKE-QEMU"	off
kernel.CHERI-CAPREVOKE-QEMU.txz	be9597ffb120839b9d944327b0944f5540e214edeeee9905018d8318c78540fc	585	kernel_CHERI_CAPREVOKE_QEMU	"Alternate Kernel: CHERI-CAPREVOKE-QEMU"	off
kernel.txz	40d4dec8e789f5ec78820867f648f78041c2ba57ea3701954a4d9c1e9a2f25bb	585	kernel	"Kernel (MANDATORY)"	on
lib64-dbg.txz	c29b65409946bfe3a5a3634e9646b0688eaf58ef246b17ed6e8a0b2d498b3ac0	231	lib64_dbg	"64-bit compatibility libraries (Debugging)"	off
lib64.txz	173e603d109e20a126b493ffd5365991b15d645eb140e4f114111b15e55f4840	695	lib64	"64-bit compatibility libraries"	on
tests.txz	923c4c25f749b958c2a09204c8dfbbe9c5a35ef80da59705843939c9cf019969	6995	tests	"Test suite"	off
