How to run Docker on target (VOXL)

Table of contents

  1. Overview
  2. Target Software
  3. Usage


This document provides an overview of how to run run docker containers on your VOXL developer board!

Target Software

  • ModalAI system image 1.6.0 or greater is required
  • Download the docker installer here
  • Push the package to the target:
adb push docker-install_x.x.x.tar.gz /home/root/ipk/
  • On target, install docker:
/# cd /home/root/ipk
/home/root/ipk# tar -xzvf docker-install_x.x.x.tar.gz
/home/root/ipk# cd docker-install
/home/root/ipk# ./
  • Restart the target board

Note: The daemon is started using the docker-start.service file in /etc/systemd/system


Once the software has been installed you use the command docker. You can get the version using docker --version. To list available images use docker images. To run a Ubuntu image interactively use docker run -it aarch64/ubuntu:trusty /bin/bash

If you get an error like:

/home/root# docker run -it aarch64/ubuntu:trusty /bin/bash
Error response from daemon: Cannot start container 91e43b94e8b1861641557715ac4ead7de6605f93bda84d4aa5fcb1c0d0aaab10: [8] System error: write /sys/fs/cgroup/cpuset/system.slice/cpuset.cpus: invalid argument

Then enter this echo 0-3 > /sys/fs/cgroup/cpuset/system.slice/cpuset.cpus and try again.

Note: It is recommended that you use ubuntu trusty or debian jessie as your base. Anything newer has some issues (e.g. apt-get doesn’t work)

Copyright (c) 2019 ModalAI Inc.