kesl/khypervisor — pull request #40 by simonkim (2013-10-21 07:15:18+00:00)
Title: + linuxguest/ min hw drivers version of vexpress_defconfig

the linux kernel configuration with a few notes
vexpress linux kernel configuration: vexpress_defconfig, modified to disable as many drivers possible
find vexpress_defconfig_minhw