Installation Guide¶
This guide provides detailed installation instructions for the EMBSEC Lab Development Kit.
System Requirements¶
Minimum Requirements¶
- OS: Ubuntu 20.04+, macOS 11+, or Windows 10 with WSL2
- RAM: 4GB (8GB recommended)
- Disk Space: 2GB free space
- Processor: x86_64 architecture
Software Dependencies¶
- CMake 3.20+
- Python 3.8+
- GCC ARM Embedded Toolchain
- QEMU 6.0+ (for emulation)
- Git
Platform-Specific Installation¶
Ubuntu/Debian¶
# Update package lists
sudo apt update
# Install dependencies
sudo apt install -y \
cmake \
python3 \
python3-pip \
gcc-arm-none-eabi \
gdb-multiarch \
qemu-system-arm \
git \
make
# Install Python packages
pip3 install pyyaml pyserial
macOS¶
# Install Homebrew if not already installed
/bin/bash -c "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/HEAD/install.sh)"
# Install dependencies
brew install \
cmake \
python@3 \
arm-none-eabi-gcc \
qemu \
git
# Install Python packages
pip3 install pyyaml pyserial
Windows (WSL2)¶
- Install WSL2 following Microsoft's guide
- Install Ubuntu 20.04 or later from the Microsoft Store
- Follow the Ubuntu installation instructions above
Docker Installation (Alternative)¶
For a consistent development environment:
# Pull the development image
docker pull registry.gitlab.com/embsec/kit/dev:latest
# Run with Docker Compose
cd tools/docker
docker-compose up -d
# Enter the container
docker-compose exec embsec-dev bash
Verifying Installation¶
Run the setup verification:
If successful, you'll see:
Hardware Setup (Optional)¶
TM4C123G LaunchPad¶
- Install TI Code Composer Studio
-
Install OpenOCD:
-
Configure udev rules for the debugger:
Next Steps¶
- Continue to the Quick Start Tutorial
- Learn about Building the framework
- Explore the Lab Structure