Moved post to gentoo area, but split off your into here, and temporarily made it sticky.sakaki wrote: ↑Mon Aug 19, 2019 9:50 amI normally avoid anything that sails close to cross-posting, but since there's been quite a bit of engagement - in various threads - on this General discussion forum recently regarding running the RPi4 in 64-bit mode (either kernel, or kernel+userland), and I'm not sure how many people here closely follow the goings on in the Operating system distributions -> Other -> Gentoo oubliette ^-^, I thought it'd be worth a quick, one-off announce post here for information's sake. Thanks!
sakaki
The main topic is in the gentoo area here: https://www.raspberrypi.org/forums/view ... 4&t=249248