diff options
author | Furquan Shaikh <furquan@google.com> | 2014-04-22 11:48:30 -0700 |
---|---|---|
committer | Patrick Georgi <patrick@georgi-clan.de> | 2014-04-26 13:25:28 +0200 |
commit | 817149643c27fca022cf526d6113a4aff898d511 (patch) | |
tree | 1ea6764eb8e4f1c9199c21c975ab09fe4ff1717e /src/arch/armv7/mmu.c | |
parent | ea2900bd6c260bb8b06a8b9e3fc93a21bd87d2e6 (diff) | |
download | coreboot-817149643c27fca022cf526d6113a4aff898d511.tar.xz |
Get rid of HAVE_INIT_TIMER config option
There is redundancy in terms of use of init_timer. We have a Kconfig option to
decide whether a board has init_timer as well as we use a stub for init_timer in
places where we do not have any init_timer defined. Thus, remove the Kconfig
option. Henceforth, all boards that do not have init_timer functionality can
include a stub_timer if required.
Change-Id: I35d38ec686f4dc92861cf9248f9b540323cd98ae
Signed-off-by: Furquan Shaikh <furquan@google.com>
Reviewed-on: http://review.coreboot.org/5569
Tested-by: build bot (Jenkins)
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Reviewed-by: Kyösti Mälkki <kyosti.malkki@gmail.com>
Diffstat (limited to 'src/arch/armv7/mmu.c')
0 files changed, 0 insertions, 0 deletions