diff options
| author |   José Pekkarinen <jose.pekkarinen@nokia.com> | 2015-11-17 10:14:28 +0200 |
|---|---|---|
| committer | José Pekkarinen <jose.pekkarinen@nokia.com> | 2015-11-17 10:14:28 +0200 |
| commit | 0e507d74aa34fd2eaef751911a0b1c6b7232f8e2 (patch) | |
| tree | 63f41fbc027b85f1048514d5be9a7e4a902fa271 /kernel/kernel/time/hrtimer.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/kernel/time/hrtimer.c')
0 files changed, 0 insertions, 0 deletions