diff options
| author | Patrick Georgi <patrick@georgi-clan.de> | 2014-08-14 19:23:41 +0200 |
|---|---|---|
| committer | Patrick Georgi <patrick@georgi-clan.de> | 2014-08-16 08:35:03 +0200 |
| commit | 5c715ac3c50dd50089ae4d8547e91444874a5a16 (patch) | |
| tree | ec356c2f83eeaed2e6758d5eb4e6461c1734dc57 /src/include/option.h | |
| parent | 0ed7940c5d0d789ae1394b2a4ab70d8b6924b109 (diff) | |
bootstate: don't use header in romstage code
Change-Id: I0c2943bb0889552dc384d8efb5226cd6982a4d81
Signed-off-by: Patrick Georgi <patrick@georgi-clan.de>
Reviewed-on: http://review.coreboot.org/6663
Tested-by: build bot (Jenkins)
Reviewed-by: Edward O'Callaghan <eocallaghan@alterapraxis.com>
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Diffstat (limited to 'src/include/option.h')
0 files changed, 0 insertions, 0 deletions