message: start the ubuntu container to test the kernel
diff: @@ -11,4 +11,4 @@ before_install:
  - sudo apt-get -qq update
  - sudo docker pull ubuntu:latest
  script:
  -- docker run -ti -v ${TRAVIS_BUILD_DIR}:/work:rw rwthos/hermit-cargo:latest /bin/bash -c "cd /work; ./tests.sh"
  +- docker run -ti -v ${TRAVIS_BUILD_DIR}:/work:rw ubuntu:latest /bin/bash -c "cd /work; ./tests.sh"
  