diff options
| author | Gerd Hoffmann <kraxel@redhat.com> | 2013-01-21 09:17:16 +0100 |
|---|---|---|
| committer | Gerd Hoffmann <kraxel@redhat.com> | 2013-01-21 09:17:16 +0100 |
| commit | 3588185b8396eb97fd9efd41c2b97775465f67c4 (patch) | |
| tree | b0fa5d0a9b3a81e2faa5629ed47718b2ff1eb5fa /hw/grlib_gptimer.c | |
| parent | 8b17ed4caa7e015324a4ecbe3c863e32458d840a (diff) | |
seabios: update to 1.7.2 release
Not that many changes as we have a pretty recent git snapshot in master
already:
Hannes Reinecke (1):
megasas: Invert PCI device selection
Kevin O'Connor (2):
Minor: Separate UUID display from F12 boot prompt.
boot: Support "halt" in the boot order to prevent default boot attempts.
Laszlo Ersek (1):
display_uuid(): fix incomplete check after the loop
Paolo Bonzini (1):
vgabios: implement AX=1120H..1124H functions
Diffstat (limited to 'hw/grlib_gptimer.c')
0 files changed, 0 insertions, 0 deletions