Hacker News new | ask | show | jobs
by andreiw 2978 days ago
RaspberriPiPkg can’t boot Raspbian today, since the latter is 32-bit. Can boot stock 64-bit SUSE and Ubuntu, though.
1 comments

My point was, for booting Raspbian, this is not needed.