LKM: Adding grep'ed public kernel data structures, generalised DSL's locking interface, extended relational interface to include network namespaces (debugging at the moment).