| KBRANCH_genericx86 = "standard/base" | |
| KBRANCH_genericx86-64 = "standard/base" | |
| KBRANCH_edgerouter = "standard/edgerouter" | |
| KBRANCH_beaglebone-yocto = "standard/beaglebone" | |
| 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" |