One question: Under which licence are published kernel binary and spurce packages form Debian GNU/kFreeBSD? Thanks!