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