base-dbg.txz	8103c535bbb7a1b20614c62e3299bc190856d9993881920d289c80e17e182a63	977	base_dbg	"Base system (Debugging)"	off
base.txz	3891264ee8e1a379b944175b6a3af64ede5db1015126d428b6761ee8798f82b4	26439	base	"Base system (MANDATORY)"	on
kernel-dbg.txz	de2e4c4d5ee872cabe933cb9114317ec1cace2d3cacf847173587341274c625c	579	kernel_dbg	"Kernel (Debugging)"	on
kernel.CHERI-CAPREVOKE-QEMU-dbg.txz	cec79fbc2be3727d95c7bcda5bcdfc416fc2bd239adb8db92a6499663144f66f	579	kernel_CHERI_CAPREVOKE_QEMU_dbg	"Alternate Kernel (Debugging): CHERI-CAPREVOKE-QEMU"	off
kernel.CHERI-CAPREVOKE-QEMU.txz	079fb6852817c44e0b39007ce91a0ce9d78e82e88fd98c73591d53bf69a842f9	582	kernel_CHERI_CAPREVOKE_QEMU	"Alternate Kernel: CHERI-CAPREVOKE-QEMU"	off
kernel.txz	6721fc1ca35cf5a648c30c320cc155676f43db176608d69c69369d9f994ff5fb	582	kernel	"Kernel (MANDATORY)"	on
lib64c-dbg.txz	d5f0a2695231915d81045929c0f47f3d05b60441f9dffd84252df4a9526e0c62	213	lib64c_dbg	"CheriABI compatibility libraries (Debugging)"	off
lib64c.txz	29c090b63e32bf938498802ef54cdf9401f3d11e3854aac2a47ce863332034fe	629	lib64c	"CheriABI compatibility libraries"	on
tests.txz	ebd0aa13b968dad914793f70c068292d6b6111c7371415e2051ee1a057c42231	5548	tests	"Test suite"	off