diff options
-rw-r--r-- | conf/machine/generic-nios2.conf | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/conf/machine/generic-nios2.conf b/conf/machine/generic-nios2.conf index 3177709..12c9564 100644 --- a/conf/machine/generic-nios2.conf +++ b/conf/machine/generic-nios2.conf | |||
@@ -9,3 +9,4 @@ TUNE_ARCH = "nios2" | |||
9 | MACHINE_FEATURES = "kernel26 serial" | 9 | MACHINE_FEATURES = "kernel26 serial" |
10 | 10 | ||
11 | KERNEL_IMAGETYPE = "zImage" | 11 | KERNEL_IMAGETYPE = "zImage" |
12 | PREFERRED_PROVIDER_virtual/kernel ??= "linux-yocto" | ||