Thanks to all who replied the below snippet clarified the situation.
It seems that os kernels pose a special case for the GPL if you want
proprietary code to run directly on top of them.
>The Linux kernel licence contains a clarification that the syscall
>interface is considered to be the boundary of the GPL as it applies
>to the kernel. From <linux kernel>/COPYING:
>>"
> NOTE! This copyright does *not* cover user programs that use kernel
> services by normal system calls - this is merely considered normal use
> of the kernel, and does *not* fall under the heading of "derived work".
Rob
Maintained by the ILUG website team. The aim of Linux.ie is to
support and help commercial and private users of Linux in Ireland. You can
display ILUG news in your own webpages, read backend
information to find out how. Networking services kindly provided by HEAnet, server kindly donated by
Dell. Linux is a trademark of Linus Torvalds,
used with permission. No penguins were harmed in the production or maintenance
of this highly praised website. Looking for the
Indian Linux Users' Group? Try here. If you've read all this and aren't a lawyer: you should be!