内核态的API问题可以以DLL的形式存在吗？

    我刚才看了看DDK中的src例子代码看到了很多编译结果为LIBRARY/DRIVER_LIBRARY的例子，并且这些Lib代码可以被其他的Driver调用，很显然，这就是核心态的Lib了，那么，加上头文件就是内核态的API了！
    可是，我又看到很多编译结果为DYNLINK的例子，可是，在这些例子的sources文件中大多数都有TARGETLIBS=...user32.lib等，所以，我觉得这些Dll是给用户态的应用程序直接调用的，并且，在代码中都由DLLMain入口。
另外，编译结果为HAL的例子在DDK中，竟然没有找到，真是可惜！！

    我的问题就是内核态的API可以是以动态连接库的形式存在吗？如果是的话，怎么调用它呢？是否核用户它类似，有loadlibrary之类的函数？