smp: enable the second cluster of dual A72 cores for rockpro64 - #599

smp: enable the second cluster of dual A72 cores for rockpro64#599

midnightveil merged 1 commit into

seL4:mainseL4/microkit:mainfrom

au-ts:kurt/rockpro64_2nd_cluster_enableau-ts/microkit:kurt/rockpro64_2nd_cluster_enableCopy head branch name to clipboard