2 TOTAL_BOARD_MEM = "3072"
4 do_deploy_append_raspberrypi4() {
6 if [ "${ENABLE_CAN}" = "1" ]; then
7 echo "# Enable CAN" >>${DEPLOYDIR}/bootfiles/config.txt
8 echo "dtoverlay=mcp2515-can0,oscillator=16000000,interrupt=25" >>${DEPLOYDIR}/bootfiles/config.txt
11 # Handle setup with armstub file
12 if [ -n "${ARMSTUB}" ]; then
13 echo "\n# ARM stub configuration" >> ${DEPLOYDIR}/bootfiles/config.txt
14 echo "armstub=${ARMSTUB}" >> ${DEPLOYDIR}/bootfiles/config.txt
17 echo "enable_gic=1" >> ${DEPLOYDIR}/bootfiles/config.txt
22 if [ "${AGL_XEN_WANTED}" = "1" ]; then
23 echo "total_mem=${TOTAL_BOARD_MEM}" >> ${DEPLOYDIR}/bootfiles/config.txt
28 if [ "${ENABLE_CMA}" = "1" ] && [ -n "${CMA_LWM}" ]; then
29 sed -i '/#cma_lwm/ c\cma_lwm=${CMA_LWM}' ${DEPLOYDIR}/bootfiles/config.txt
32 if [ "${ENABLE_CMA}" = "1" ] && [ -n "${CMA_HWM}" ]; then
33 sed -i '/#cma_hwm/ c\cma_hwm=${CMA_HWM}' ${DEPLOYDIR}/bootfiles/config.txt
36 echo "avoid_warnings=2" >> ${DEPLOYDIR}/bootfiles/config.txt
37 echo "mask_gpu_interrupt0=0x400" >> ${DEPLOYDIR}/bootfiles/config.txt
38 echo "dtoverlay=vc4-kms-v3d-overlay,cma-256" >> ${DEPLOYDIR}/bootfiles/config.txt
39 echo "dtoverlay=rpi-ft5406-overlay" >> ${DEPLOYDIR}/bootfiles/config.txt
40 echo "dtparam=audio=on" >> ${DEPLOYDIR}/bootfiles/config.txt
43 do_deploy_append_raspberrypi4() {
44 echo -e "\n[pi4]" >> ${DEPLOYDIR}/bootfiles/config.txt
45 echo "max_framebuffers=2" >> ${DEPLOYDIR}/bootfiles/config.txt
48 do_deploy_append_sota() {
49 echo "device_tree_address=0x0c800000" >> ${DEPLOYDIR}/bootfiles/config.txt