base-dbg.txz	4306c329e099ed557f3dde783b02b3a57dd9fc2b0a7ab2622153e3b7cf891ce5	985	base_dbg	"Base system (Debugging)"	off
base.txz	db772c61e0526b15049f27bcf9d70f289f0dac812b8f0ff4b4add2d005e01974	26173	base	"Base system (MANDATORY)"	on
kernel-dbg.txz	623ff0c4b0e86226b1c0a4e8a6f5ed637b2c7fece4a548ae6a27bfc80a5e7988	584	kernel_dbg	"Kernel (Debugging)"	on
kernel.CHERI-CAPREVOKE-QEMU-dbg.txz	7c13b5660762a862670968ba1056ab32de4b48bb66709a0d8ae5fe31501df53e	584	kernel_CHERI_CAPREVOKE_QEMU_dbg	"Alternate Kernel (Debugging): CHERI-CAPREVOKE-QEMU"	off
kernel.CHERI-CAPREVOKE-QEMU.txz	32c3b9740ecb303f603c3bfe299c6541907865d4322b46a6ca5ecaf2e96ed83a	587	kernel_CHERI_CAPREVOKE_QEMU	"Alternate Kernel: CHERI-CAPREVOKE-QEMU"	off
kernel.txz	4e40649bd2f79bc876adf93ee85a8c6d95eee344f8336c543860c71d87a35502	587	kernel	"Kernel (MANDATORY)"	on
lib64c-dbg.txz	1d00ebf0e8b1fbdc98e51e58c5d98fd2877f6e1d3d3932ec4526876326e97ec4	217	lib64c_dbg	"CheriABI compatibility libraries (Debugging)"	off
lib64c.txz	fc9f76e35392f39f5853d52023afab1a83427bfb14367fd31f724f3597119973	638	lib64c	"CheriABI compatibility libraries"	on
tests.txz	24664deae2b1b7f14e310a0644350a8641eae3591e7ba6186ee494152ecb7807	5426	tests	"Test suite"	off