properties for kernel