| KBRANCH_genericx86 = "standard/base" |
| KBRANCH_genericx86-64 = "standard/base" |
| KBRANCH_edgerouter = "standard/edgerouter" |
| KBRANCH_beaglebone-yocto = "standard/beaglebone" |
| KBRANCH_mpc8315e-rdb = "standard/fsl-mpc8315e-rdb" |
| |
| KMACHINE_genericx86 ?= "common-pc" |
| KMACHINE_genericx86-64 ?= "common-pc-64" |
| KMACHINE_beaglebone-yocto ?= "beaglebone" |
| |
| COMPATIBLE_MACHINE_genericx86 = "genericx86" |
| COMPATIBLE_MACHINE_genericx86-64 = "genericx86-64" |
| COMPATIBLE_MACHINE_edgerouter = "edgerouter" |
| COMPATIBLE_MACHINE_beaglebone-yocto = "beaglebone-yocto" |
| COMPATIBLE_MACHINE_mpc8315e-rdb = "mpc8315e-rdb" |