1 define Device
/marvell_armada7040-db
2 $(call Device
/Default-arm64
)
3 DEVICE_VENDOR
:= Marvell
4 DEVICE_MODEL
:= Armada
7040 Development Board
5 DEVICE_DTS
:= armada-7040-db
6 IMAGE
/sdcard.img.gz
:= boot-img-ext4 | sdcard-img-ext4 | gzip | append-metadata
8 TARGET_DEVICES
+= marvell_armada7040-db
10 define Device
/marvell_armada8040-db
11 $(call Device
/Default-arm64
)
12 DEVICE_VENDOR
:= Marvell
13 DEVICE_MODEL
:= Armada
8040 Development Board
14 DEVICE_DTS
:= armada-8040-db
15 IMAGE
/sdcard.img.gz
:= boot-img-ext4 | sdcard-img-ext4 | gzip | append-metadata
17 TARGET_DEVICES
+= marvell_armada8040-db
19 define Device
/marvell_macchiatobin
20 $(call Device
/Default-arm64
)
21 DEVICE_VENDOR
:= SolidRun
22 DEVICE_MODEL
:= MACCHIATObin
23 DEVICE_ALT0_VENDOR
:= SolidRun
24 DEVICE_ALT0_MODEL
:= Armada
8040 Community Board
25 DEVICE_PACKAGES
+= kmod-i2c-mux kmod-i2c-mux-pca954x
26 DEVICE_DTS
:= armada-8040-mcbin
27 SUPPORTED_DEVICES
:= marvell
,armada8040-mcbin
29 TARGET_DEVICES
+= marvell_macchiatobin