040000 tree 08f4a8605697c6ae0485b6f265d1ae6965bf8d25	boot
040000 tree c2eb221a18f1b330c4c8756f8449a998c5811400	console
040000 tree 8a5c5dfd730e0d00c073fbe94802315404cdba9e	cpu
100644 blob 47a640048622ceeaf3f4781b5b5cc4c82c3fb63b	default.nix
040000 tree 8827d41fee96640ef7122e19a5d653c6280e5119	firmware
040000 tree 61c800fc2a8fe60028968d184a9dcdbfab80ba8e	games
040000 tree 80c7d61b80d31ce245a8667ccf37d020ec1d0b90	keyboard
040000 tree 7408d762911180e31b03550d36d1fff0078b0db5	networking
040000 tree 84ad650c7bbd94dab2e8cc25a595867946ca6291	time
040000 tree 65372945f4af2c69257d051058b7aa3df71b2151	users
040000 tree 8041173a1ccb1fa3690e3a0ef88d5b0f0df0b225	yubikey