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" | ||