Setting up a Raspberry Pi as a Jenkins Agent

Install build tools

sudo apt-get install aptitude
sudo aptitude install gcc-arm-none-eabi cmake

Set up Jenkins Agent

From here: https://www.gdcorner.com/2019/12/27/JenkinsHomeLab-P2-LinuxAgents.html

sudo aptitude install default-jre
sudo adduser jenkins # and then follow the prompts, can set the password to "jenkins"
sudo su jenkins
mkdir ~/.ssh
nano ~/.ssh/authorized_keys # paste the jenkins agent SSH public key into this file

You can now add the RPi in Jenkins via Manage Nodes and Clouds > New Node

• Remote Root Directory: /home/jenkins
• Labels: <all Mbed targets connected to this node, separated by spaces>
• Launch Method: Launch via SSH
• Host:
• Credentials:
• Host Key Verification Strategy: Manually Trusted

After clicking OK on this screen, the node should be available for use!

Set up udev rules

• Get serial number of Mbed device from its tty:

udevadm info -a -n /dev/ttyACMxxx | grep '{serial}' | head -n1

• Create a file /etc/udev/rules.d/99-usb-serial.rules with contents like:

SUBSYSTEM=="tty", ATTRS{serial}=="<serial number>", SYMLINK+="tty<mbed board>", OWNER="jenkins"

where and are replaced by the mbed name and serial number.