atngw100: use linux kernel

diff --git a/conf/machine/atngw100.conf b/conf/machine/atngw100.conf
index 6acc3d7907852988a8821c6dc3e48fb6862d33ec..1d402dbef38ab59d0f1dd2dc0d4554043ac2cca8 100644 (file)
--- a/conf/machine/atngw100.conf
+++ b/conf/machine/atngw100.conf
@@ -10,6 +10,7 @@ PREFERRED_PROVIDER_xserver = "xserver-kdrive"
 USE_VT = "0"
 
 MACHINE_FEATURES = "kernel26 ext2 usbgadget"
+PREFERRED_PROVIDER_virtual/kernel = "linux"
 
 # used by sysvinit_2
 SERIAL_CONSOLE = "115200"