Docker base image for devRT