040000 tree d08394f657e4675c89ea575f77b5a50dba987d67	coreboot-sdk-libstdcxx
040000 tree 99e355984fabba230c97777086985d710682dab1	coreboot-sdk-picolibc
040000 tree 5bc8c79f7486583f557c51a8aeb8280ff000d072	coreboot-sdk