diff --git a/dev/Dockerfile b/dev/Dockerfile
index 70ba5f2..e429582 100644
--- a/dev/Dockerfile
+++ b/dev/Dockerfile
@@ -1,4 +1,4 @@
-FROM ubuntu:latest
+FROM armmbed/mbed-os-env:latest
 
 # Set up container and time zones
 RUN apt-get update && \