x86: correctly set UTS_MACHINE for "make ARCH=x86"
[linux-2.6/cjktty.git] / drivers / lguest / 
treeb571890ae86b682e6ff50be87fd1cc061d41f47e
drwxr-xr-x   ..
-rw-r--r-- 712 Kconfig
-rw-r--r-- 786 Makefile
-rw-r--r-- 1713 README
-rw-r--r-- 9476 core.c
-rw-r--r-- 8133 hypercalls.c
-rw-r--r-- 18774 interrupts_and_traps.c
-rw-r--r-- 7541 lg.h
-rw-r--r-- 12695 lguest_device.c
-rw-r--r-- 9842 lguest_user.c
-rw-r--r-- 27926 page_tables.c
-rw-r--r-- 7822 segments.c
drwxr-xr-x - x86