Kernel Development in C (Synchronization, System calls, etc.)