coreboot

coreboot@coreboot.org
  • 30 participants
  • 341 discussions
Patch set updated for coreboot: 8d71155 Rename devices -> device
by gerrit@coreboot.org