Hi Tim, This is a patch for the Docker side. I have added the dependencies on the test.yaml already, and I added is_on_sdk to fuego_test.sh so you may prefer not to accept this patch. [PATCH] Dockerfile: sdk dependencies for building a x86_64 kernel Thanks, Daniel