How to use APIs in our own application code

[jiashenC]

I want to use APIs from core/nvbit.h in my kernel code. What is the correct way to compile with those APIs. I only see headers for core but no implementations.