@testbeta - GNU has two kernels. One you already know, but Linux-libre was dubbed as part of GNU back in 2012. That means GNU has two official kernels and so yes, this is using GNU's kernel. I understand that support for GNU's other kernel is also planned. :)