diff options
author | 2015-11-17 10:14:28 +0200 | |
---|---|---|
committer | 2015-11-17 10:14:28 +0200 | |
commit | 0e507d74aa34fd2eaef751911a0b1c6b7232f8e2 (patch) | |
tree | 63f41fbc027b85f1048514d5be9a7e4a902fa271 /kernel/arch/x86/boot/video-bios.c | |
parent | 23b26b6101e4440a8d7eade90d75bbf5a4030135 (diff) |
Build vfio-pci as a module, as dpdk tools expect it to be.
Change-Id: I4c0fe67609fc74fc60e6a2c99d448fd47a6d2a86
Signed-off-by: José Pekkarinen <jose.pekkarinen@nokia.com>
Diffstat (limited to 'kernel/arch/x86/boot/video-bios.c')
0 files changed, 0 insertions, 0 deletions