Hello, We are group of boys who have the idea to make a new OS that will use FreeBSD kernel. Can you give us the not compiled kernel of FreeBSD to use it? Naturally, FreeBSD will be as well advertisized in our new operation system. Thank You