add hateos to test kernel