From b50d962c7a083cf090d503c76d622a1f3fa743e2 Mon Sep 17 00:00:00 2001
From: Koen Kooi <koen@openembedded.org>
Date: Thu, 1 Nov 2007 08:55:20 +0000
Subject: [PATCH] atngw100: use linux kernel

---
 conf/machine/atngw100.conf | 1 +
 1 file changed, 1 insertion(+)

diff --git a/conf/machine/atngw100.conf b/conf/machine/atngw100.conf
index 6acc3d7907..1d402dbef3 100644
--- 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"
-- 
2.39.5