Skip to content

@embsec/dev

A Docker-based development environment for the TM4C123G LaunchPad, pre-configured with all tools needed for embedded security coursework.

Quick Start

# Install
curl -sSL https://dev.embsec.org/install | bash

# Initialize (first time only)
embsec init

# Start development environment
embsec up

This opens VS Code in your browser with everything ready to go!

What's Included

  • ARM Toolchain: arm-none-eabi-gcc for compiling TM4C123G code
  • Debugging: gdb with GEF enhancement for better debugging experience
  • Flashing: lm4flash for uploading code to the TM4C123G
  • VS Code: Web-based editor with embedded development extensions
  • Python Tools: pwntools and other security analysis tools
  • USB Support: Automatic device passthrough on all platforms

System Requirements

  • Docker 20.10 or newer
  • Python 3.8 or newer
  • 4GB RAM minimum
  • 5GB free disk space
  • TM4C123G LaunchPad (for hardware labs)

Need Help?

  • Run embsec doctor to diagnose issues
  • Check the Troubleshooting guide
  • Ask your instructor or TA

First Time?

Start with the Installation Guide to set up your environment.