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-doubleshot
20 $(call Device
/Default-arm64
)
21 DEVICE_VENDOR
:= SolidRun
22 DEVICE_MODEL
:= MACCHIATObin
23 DEVICE_VARIANT
:= Double Shot
24 DEVICE_ALT0_VENDOR
:= SolidRun
25 DEVICE_ALT0_MODEL
:= Armada
8040 Community Board
26 DEVICE_ALT0_VARIANT
:= Double Shot
27 DEVICE_PACKAGES
+= kmod-i2c-mux-pca954x
28 DEVICE_DTS
:= armada-8040-mcbin
29 SUPPORTED_DEVICES
:= marvell
,armada8040-mcbin-doubleshot marvell
,armada8040-mcbin
31 TARGET_DEVICES
+= marvell_macchiatobin-doubleshot
33 define Device
/marvell_macchiatobin-singleshot
34 $(call Device
/Default-arm64
)
35 DEVICE_VENDOR
:= SolidRun
36 DEVICE_MODEL
:= MACCHIATObin
37 DEVICE_VARIANT
:= Single Shot
38 DEVICE_ALT0_VENDOR
:= SolidRun
39 DEVICE_ALT0_MODEL
:= Armada
8040 Community Board
40 DEVICE_ALT0_VARIANT
:= Single Shot
41 DEVICE_PACKAGES
+= kmod-i2c-mux-pca954x
42 DEVICE_DTS
:= armada-8040-mcbin-singleshot
43 SUPPORTED_DEVICES
:= marvell
,armada8040-mcbin-singleshot
45 TARGET_DEVICES
+= marvell_macchiatobin-singleshot