diff options
| author | Paul Menzel <paulepanter@users.sourceforge.net> | 2014-04-26 10:22:43 +0200 |
|---|---|---|
| committer | Patrick Georgi <patrick@georgi-clan.de> | 2014-05-02 15:03:57 +0200 |
| commit | 7ac7627546d8d89d63abe06b7a0df1861f10eabf (patch) | |
| tree | f19151f8ef21a787b24741c7c07c13829a8730a8 /src/cpu/samsung/exynos5250/timer.c | |
| parent | e93776579dcbbdc8f8a833590f21f9f33285d50b (diff) | |
drivers/pc80/Kconfig: Mention that GRUB 2 is able to init PS/2 keyboard
Change-Id: I0783ee123e0e1ecd5603bc6a40b53d3b0c23bf6d
Signed-off-by: Paul Menzel <paulepanter@users.sourceforge.net>
Reviewed-on: http://review.coreboot.org/5582
Tested-by: build bot (Jenkins)
Reviewed-by: Patrick Georgi <patrick@georgi-clan.de>
Diffstat (limited to 'src/cpu/samsung/exynos5250/timer.c')
0 files changed, 0 insertions, 0 deletions