By OS I mean the kernel. Which is a little bit of a lie but not really. If I don’t use the GUI it’s something like 350 after boot.