@hausdorff's kernel modules