mirror of
https://github.com/ukui/kernel.git
synced 2026-03-09 10:07:04 -07:00
3666f88010
Matching x86 and making it more convenient to run the arm64 default kernel as distros like Ubuntu need this option. Signed-off-by: Robert Richter <rrichter@cavium.com> Signed-off-by: Will Deacon <will.deacon@arm.com>