/machines/

• ../
• inspiron.scm
• portable-bios.scm
• thinkpad-x200.scm