07/02/2022 14:39, Bruce Richardson: > BTW: if you do find any headers that are being exposed as public headers, > but don't have "rte_" in the filename, please flag them as needing fixing > too. There shouldn't be any, but just in case.... It seems drivers/baseband/fpga_lte_fec/fpga_lte_fec.h is supposed to be exposed.