diff options
author | Gary Thomas <gary@mlbassoc.com> | 2013-10-30 20:40:19 +0000 |
---|---|---|
committer | Otavio Salvador <otavio@ossystems.com.br> | 2013-10-31 12:20:56 -0200 |
commit | 01851dad81ac88fc38bdb6677ca1cf93da29bb15 (patch) | |
tree | 3e5c5b4cbc4438de6bfcc1db5e06aef2115e4efc /conf/machine/twr-vf65gs10.conf | |
parent | 488f875a1b4f466e8611f51a1843ed573d719365 (diff) | |
download | meta-fsl-arm-01851dad81ac88fc38bdb6677ca1cf93da29bb15.tar.gz |
machine/*: Allow kernel provider override
All machine configurations now allow user override of the preferred
kernel provider.
Signed-off-by: Gary Thomas <gary@mlbassoc.com>
Diffstat (limited to 'conf/machine/twr-vf65gs10.conf')
-rw-r--r-- | conf/machine/twr-vf65gs10.conf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/conf/machine/twr-vf65gs10.conf b/conf/machine/twr-vf65gs10.conf index f726ffa..8b6c6d5 100644 --- a/conf/machine/twr-vf65gs10.conf +++ b/conf/machine/twr-vf65gs10.conf | |||
@@ -8,7 +8,7 @@ include conf/machine/include/tune-cortexa5.inc | |||
8 | 8 | ||
9 | SOC_FAMILY = "vf60" | 9 | SOC_FAMILY = "vf60" |
10 | 10 | ||
11 | PREFERRED_PROVIDER_virtual/kernel = "linux-timesys" | 11 | PREFERRED_PROVIDER_virtual/kernel ?= "linux-timesys" |
12 | 12 | ||
13 | UBOOT_MACHINE = "vf610twr_config" | 13 | UBOOT_MACHINE = "vf610twr_config" |
14 | 14 | ||