base-dbg.txz	d63f9d208fc8eaed5f3641dbf509e3a8ea8a514b7a71924522029eb27ad5b534	976	base_dbg	"Base system (Debugging)"	off
base.txz	c5cb491a3aab4f1562b37976046e19a9ba7455b90cb24d7b63a9e2a9200d2542	26457	base	"Base system (MANDATORY)"	on
kernel-dbg.txz	0ce7357508eb7f2ea1be48c33e8f1e25f1154167838c49b571fecd6913230f8f	581	kernel_dbg	"Kernel (Debugging)"	on
kernel.CHERI-CAPREVOKE-QEMU-dbg.txz	6ddf2727cb83a9e7a84521514c3141c872f359244e4ff92d02a758a22f343f14	581	kernel_CHERI_CAPREVOKE_QEMU_dbg	"Alternate Kernel (Debugging): CHERI-CAPREVOKE-QEMU"	off
kernel.CHERI-CAPREVOKE-QEMU.txz	9fe7edfe4b1df5f2612b38e212deeb1dfeba5af84c6f9afb9e91a23c31a7cae3	584	kernel_CHERI_CAPREVOKE_QEMU	"Alternate Kernel: CHERI-CAPREVOKE-QEMU"	off
kernel.txz	fd54c42b2d52de83a0c6e3ec290a1f2897221a0d9c7cc463172fc343bb73ae43	584	kernel	"Kernel (MANDATORY)"	on
lib64c-dbg.txz	4a2c64c76a3259410686145a9c6720bd2a3b7fdcc97cf667bbbf6b8ce581dca3	213	lib64c_dbg	"CheriABI compatibility libraries (Debugging)"	off
lib64c.txz	b533f048ba2e2c0ab987aa6daf79dd77aec768030445a82072cc310b81de46a6	629	lib64c	"CheriABI compatibility libraries"	on
tests.txz	a9ca146e620a62721d3b70cb86fb90681d69ffb5806aafc25e4d200ce64ef9bb	5569	tests	"Test suite"	off