OS projects: Kernel implementation for Weenix OS