debug: fixed formatting
added example kernel source file