diff options
| author | Maurice Ma <maurice.ma@intel.com> | 2016-10-27 09:12:26 -0700 |
|---|---|---|
| committer | Maurice Ma <maurice.ma@intel.com> | 2016-10-27 09:12:26 -0700 |
| commit | 1399565a93a7457db262ae2cb81431062fcc30c4 (patch) | |
| tree | 870527d89e4cf5555d5fe5b384e2593d8fbd1553 /edksetup.bat | |
| parent | 7bd394623aa89d0f2fc871fd69d8a8762738de14 (diff) | |
| download | edk2-platforms-1399565a93a7457db262ae2cb81431062fcc30c4.tar.xz | |
CorebootPayloadPkg: Add an option to use HPET timer driver
The current CorebootPayloadPkg will use the legacy 8254 timer
driver as the default. However, on some platforms legacy timer
might not exist anymore. This patch adds HPET timer driver as
a build option.
Cc: Prince Agyeman <prince.agyeman@intel.com>
Contributed-under: TianoCore Contribution Agreement 1.0
Signed-off-by: Maurice Ma <maurice.ma@intel.com>
Reviewed-by : Prince Agyeman <prince.agyeman@intel.com>
Diffstat (limited to 'edksetup.bat')
0 files changed, 0 insertions, 0 deletions