Dove vengono memorizzate le informazioni sui processi in Linux: nel kernel e nel sistema di file?