2014-09-10, 22:10
Thanks for all the great work here, specifically with coreboot and SeaBIOS. Two quick questions though;
1. What key do I press to get into the BIOS options at boot? I know ESC opens boot options, but what about the oh-so-important BIOS options?
2. Rocking Windows Server I found a device with vendor ID GOOG and device ID 9999. Can any Linux users give me info as to what that is? My guess is it's related to TPM, but my Google Pixel's "GOOG" device is much more important so I figured I'd ask.
1. What key do I press to get into the BIOS options at boot? I know ESC opens boot options, but what about the oh-so-important BIOS options?
2. Rocking Windows Server I found a device with vendor ID GOOG and device ID 9999. Can any Linux users give me info as to what that is? My guess is it's related to TPM, but my Google Pixel's "GOOG" device is much more important so I figured I'd ask.