xilinx-ml403 : Do not build a kernel for this machine.

               * Kernel config depends on the fpga bitstream. No sense building
                 kernel we can't use.

diff --git a/conf/machine/xilinx-ml403.conf b/conf/machine/xilinx-ml403.conf
index eb2ddcf..b87a368 100644 (file)
--- a/conf/machine/xilinx-ml403.conf
+++ b/conf/machine/xilinx-ml403.conf
@@ -6,7 +6,8 @@
 
 TARGET_ARCH = "powerpc"
 
-PREFERRED_PROVIDER_virtual/kernel = "linux-xilinx-slab"
+ASSUME_PROVIDED += "virtual/kernel"
+#PREFERRED_PROVIDER_virtual/kernel = "linux-xilinx-slab"
 
 MACHINE_FEATURES = "kernel26 ext2"