diff options
| author | Kyösti Mälkki <kyosti.malkki@gmail.com> | 2019-08-26 22:23:32 +0300 |
|---|---|---|
| committer | Kyösti Mälkki <kyosti.malkki@gmail.com> | 2019-08-28 13:21:20 +0000 |
| commit | 9389fdfe4defbb086387135499885564cbaabd90 (patch) | |
| tree | 6f6781572e926968516885bc524ebb6661afb848 /payloads/external/GRUB2/Kconfig | |
| parent | 970f1a4101052a89e45d6034852ab544e7c7afd5 (diff) | |
lenovo/t431s,w530: Add DRIVERS_RICOH_RCE822
Device is present in devicetree but not included in
the build.
Change-Id: I8555d94902e94c623d8fbe6f1a4ffe7637988530
Signed-off-by: Kyösti Mälkki <kyosti.malkki@gmail.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/35105
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Reviewed-by: Angel Pons <th3fanbus@gmail.com>
Diffstat (limited to 'payloads/external/GRUB2/Kconfig')
0 files changed, 0 insertions, 0 deletions