review.coreboot.org / coreboot / 317a982ddbc0c79ed0a5b2fc00dab74147e76505 / util / nixshell / documentation.nix