Xiaoming Gao b33e24d922 config: open CONFIG_PARAVIRT ... Signed-off-by: Xiaoming Gao <newtongao@tencent.com>		2020-01-02 12:18:43 +08:00
..
default	config: open CONFIG_PARAVIRT	2020-01-02 12:18:43 +08:00