Hardware/System76
System76, Inc. is an American computer manufacturer based in Denver, Colorado that sells notebook computers, desktop computers, and servers. The company utilizes free and open-source software, and offers a choice of Ubuntu or their own Ubuntu-based Linux distribution Pop!_OS as preinstalled operating systems.
"Handcrafted in the US. Desktops designed by nerds. Engineered by experts. Handcrafted by humans."
System76 Keyboard Configurator
This software can be used to remap keys on a system76 laptop running their Open Firmware + Open EC based on coreboot+EDK2. It is packaged as `system76-keyboard-configurator` in nixpkgs stable.