Where is information about processes stored in Linux — in the kernel and in the file system?