x86: add irq_cfg for 32bit
[deliverable/linux.git] / arch / x86 / lguest /
drwxr-xr-x   ..
-rw-r--r-- 491 Kconfig
-rw-r--r-- 29 Makefile
-rw-r--r-- 42059 boot.c
-rw-r--r-- 5634 i386_head.S
This page took 0.032716 seconds and 5 git commands to generate.