Wo werden die Informationen über Prozesse in Linux gespeichert: im Kernel und im Dateisystem?