kernel: add principles