On 1/7/19 9:45 PM, Peter Maydell wrote: > I assume 48 bits is what the kernel sets up for userspace ?
Yep. There's been some discussion about what to do with 52-bit addressing, but it hasn't landed upstream yet. r~
On 1/7/19 9:45 PM, Peter Maydell wrote: > I assume 48 bits is what the kernel sets up for userspace ?
Yep. There's been some discussion about what to do with 52-bit addressing, but it hasn't landed upstream yet. r~