Add kernel data structures