Balazs Gerofi 435e2bdeb4 support for Linux 4.6: use get_user_pages_remote()

2016-05-24 09:39:04 +09:00

..

include

support vdso which borrows clocksource from linux

2016-03-28 22:57:44 +09:00

kernel

support for Linux 4.6: use get_user_pages_remote()

2016-05-24 09:39:04 +09:00

user

mcexec: include config.h

2016-04-11 22:20:38 +09:00

config.h.in

update auto-generated files

2016-04-11 22:25:53 +09:00