]> Pileus Git - ~andy/linux/tree - arch/arm/mach-virt/
ktest: Reset grub menu cache with different machines
[~andy/linux] / arch / arm / mach-virt /
drwxr-xr-x   ..
-rw-r--r-- 221 Kconfig
-rw-r--r-- 91 Makefile
-rw-r--r-- 1570 platsmp.c
-rw-r--r-- 1531 virt.c