Docker is an open source software platform for setting up and running applications in packaged environments called containers. This virtualization at the operating system level enables you to run an application as a single, predictable package. Docker Desktop for Windows is a native Windows application designed to run Docker containers on Windows systems.

See the Docker documentation for more detailed description and instructions on getting started with Docker.

You must set up your PC workstation to use Docker. You need:

1. Install and set up Windows Desktop

Make sure you have already installed the Windows Subsystem for Linux v2 (WSL 2) before running Docker Desktop.

  1. Download the Docker Desktop for Windows installer from the Docker Web site, and install it.

  2. After you finish installing Docker Desktop, reboot for the new configuration to take effect.

2. Download and run Digi Embedded for Android Docker image

Digi Embedded for Android provides a fully configured and ready to use Docker image based on an Ubuntu 18.04 Linux distribution. Follow these steps in your machine to download and run the Digi Embedded for Android Docker image:

2.1. Download Docker image

  1. Run a Windows PowerShell

PS C:\> docker pull digiembedded/dea:dea-11

2.2. Create and start a new Docker container

Create and start a new Docker container based on the Docker image for Digi Embedded for Android:

PS C:\> docker run -it --name dea-11.0-container \
                       --volume <HOST_SOURCES_DIR>:/home/dea/sources \
                       digiembedded/dea:dea-11 \
                       --privileged

Arguments in this command:

  • -it (short for -i -t) allocates a pseudo-TTY console to operate the container.

  • --name assigns the name dea-11.0-container to the new container.

  • --volume mounts the HOST_SOURCES_DIR on the container directory /home/dea/sources. HOST_SOURCES_DIR is the directory where your Digi Embedded for Android sources are installed, for example, /usr/local/dea-11.0-r2. See Install Digi Embedded for Android for details.

  • --privileged allows access to host USB devices (optional flag).

Command prompts inside a Docker container follow the format <username>@<container_id>. username is the default user name inside the container, and container_id represents the unique container ID assigned by Docker during container creation.

Your Docker container with the name dea-11.0-container starts automatically and is ready to use.

3. Useful Docker commands

Start a stopped container
PS C:\> docker start --attach 'dea-11.0-container'
List all Docker containers (running or stopped)
PS C:\> docker ps --all
See the Docker documentation for more commands and instructions.