diff options
| author | Stefan Reinauer <stefan.reinauer@coreboot.org> | 2013-01-04 15:02:25 -0800 |
|---|---|---|
| committer | Ronald G. Minnich <rminnich@gmail.com> | 2013-01-05 00:32:13 +0100 |
| commit | 6d47cbe75859eaca4d56dd371d9dee6bd75dd23d (patch) | |
| tree | 9cf94af47cfaef250d0d53a111d9985223536c7f /3rdparty/opensbi | |
| parent | 9da7570b07abd99123afc0e95a72a6bb0dcbddf5 (diff) | |
ARMv7: drop __KERNEL__
It's a bad Linux heritage.. We have no userland in firmware.
Change-Id: Ib19e5ba713078ca37514571213d19f418417b964
Signed-off-by: Stefan Reinauer <reinauer@google.com>
Reviewed-on: http://review.coreboot.org/2108
Tested-by: build bot (Jenkins)
Reviewed-by: Ronald G. Minnich <rminnich@gmail.com>
Diffstat (limited to '3rdparty/opensbi')
0 files changed, 0 insertions, 0 deletions