1 2prebuilt_etc { 3 4 name: "gps.conf", 5 vendor: true, 6 src: "gps.conf", 7} 8 9prebuilt_etc { 10 11 name: "flp.conf", 12 vendor: true, 13 src: "flp.conf", 14} 15 16prebuilt_etc { 17 18 name: "gnss_antenna_info.conf", 19 vendor: true, 20 src: "gnss_antenna_info.conf", 21} 22