Interfaces to html kernel module