kernel: add darmok source code

Add darmok code to kernel. Note: The darmok source code is not executed.

Signed-off-by: Mario Schuknecht <mario.schuknecht@dresearch-fe.de>