# architecture specific source files
    include src/arch/$ARCH/sourcelist.txt
# reference platform drivers
    include src/driver/sourcelist.txt
