> 32 bits is enough to utilize all 4 GB of the Raspberry Pi4 For 4 GB of memory, 32 bits of address space are not good enough, as discussed a couple of days ag

> 32 bits is enough to utilize all 4 GB of the Raspberry Pi4 For 4 GB of memory, 32 bits of address space are not good enough, as discussed a couple of days ago (https://lwn.net/Articles/813201/ https://lwn.net/Articles/813201/ discussed here at https://news.ycombinator.com/item?id=22440733 https://news.ycombinator.com/item?id=22440733).