Linux Kernel fun for Georgia Tech CS3210