Basic System Kernel - BSK