Those numbers look a little aggressive but I could be wrong.
Gentlemen, just for clarification purposes, when you say RAM, is that what sys-clk calls MEM?
Can someone enlighten me real quick on something I've been wondering for a while? Why are the firmwares of these consoles (I have the Switch and the PS3 in mind) easily and publicly available in other places? The Switch firmwares are on archive org and the PS3 ones are provided by Sony...