working kernel cfg. loader + naive test cases