vendors/gaisler/leon3mmu/config.arch