Some questions from a kernel newbie