base-dbg.txz	0307850c600d013201b271dccec1dd0bb93ae028ace52cf0e1287b8e3c002b99	983	base_dbg	"Base system (Debugging)"	off
base.txz	bc7aaa3494b0bd4af98a2eb91ab93229a1b7014e9d4a8bd93dc867fafc3b113b	28072	base	"Base system (MANDATORY)"	on
kernel-dbg.txz	46e24dc43f37a7d6d056873471ee31ba78a9d671319e5baff9406c1f391c94b6	587	kernel_dbg	"Kernel (Debugging)"	on
kernel.CHERI-CAPREVOKE-QEMU-dbg.txz	e775fb2f5abca097fbc70b55ad4bc788cef681c1bf2462baf2560b7df3bb4389	587	kernel_CHERI_CAPREVOKE_QEMU_dbg	"Alternate Kernel (Debugging): CHERI-CAPREVOKE-QEMU"	off
kernel.CHERI-CAPREVOKE-QEMU.txz	acf446652b5362a248c8ed91f89be824b1a8797c2892bbe3767c87f52b868aad	590	kernel_CHERI_CAPREVOKE_QEMU	"Alternate Kernel: CHERI-CAPREVOKE-QEMU"	off
kernel.txz	da87d107551fff91af7534c5651fcef5d6f1da915731d9667bcf8c4bb661cbd0	590	kernel	"Kernel (MANDATORY)"	on
lib64c-dbg.txz	4748bc68b140140c7e4353118d4e4fbf80cfd5b5a07cf074c77b6da4e104e14c	218	lib64c_dbg	"CheriABI compatibility libraries (Debugging)"	off
lib64c.txz	4e6931d8e809c1c83d6883e91e3e06f345589eb11c1c3c9d6a3869d82080e4f2	637	lib64c	"CheriABI compatibility libraries"	on
tests.txz	f715e4c4ee04ac9936abb5e5e653a61d1ba643d89908c32053c9c0618d7932dd	5541	tests	"Test suite"	off