# SPDX-License-Identifier: GPL-2.0-or-later

chip mainboard/arm/rdn2

	device cpu_cluster 0 on ops rdn2_aarch64_cpu_ops end

	device domain 0 on ops rdn2_aarch64_pci_domain_ops
		device pci 00.0 on end
	end
end