Developing your AOS project on Linux
Many CSE students have Linux machines which they would like to be
able to use to work away from the CSE labs. The following is a guide
as to how to set up the necessary drivers/software if you wish to work locally. These instructions
will be distribution specific (for Ubuntu) but they should at least give you an idea of how to set up other
The components you will need to install are:
Once installed, the installation can be tested by following the milestone 0 instructions.
- Cross compilers
- Driver for the USB->serial converter
- A serial terminal program (we recommend picocom)
- TFTP server
- time server
- An NFS server/share
Updated based on Ubuntu 12.04, tested on 13.04.
The Ubuntu default version of gcc-arm seems to work fine.
apt-get install gcc-arm-linux-gnueabi
NOTE: After checking out the AOS codebase, you will need to change the cross compiler prefix to
Do this by running
make menuconfig from the checked out check out source directory, and then going to
If you have problems with this compiler, a precompiled 32bit cross compiler has been provided for you:
Linux 32bit cross compiler
Once the file has downloaded, install it by using the following commands
sudo mkdir -p /opt
sudo tar -xf arm-2013.05-24-arm-none-linux-gnueabi-i686-pc-linux-gnu.tar.bz2 -C /opt
In this case, your cross compiler prefix should be set to
The Ubuntu USB serial and USB ethernet drivers seem to work by default.
You may need to install some of the following packages:
apt-get install build-essential mercurial
apt-get install libncurses5-dev
apt-get install netcat.traditional
update-alternatives --set nc /bin/nc.traditional
apt-get install picocom minicom
apt-get install tftpd-hpa tftp-hpa
apt-get install nfs-kernel-server
apt-get install xinetd
Setting up the network
Unfortunately, newer Ubuntu distributions include the 'easy to use'
NetworkManager, which destroys everything. You could use the NetworkManager GUI to set
a static ip of
192.168.168.1 to keep NetworkManager happy. Or alternatively, add the following lines
Then, restart NetworkManager, and bring up the interface:
iface eth1 inet static
sudo service network-manager restart
sudo ifup eth1
Setting up the TFTP server
After installing the
tftpd-hpa package, the
default Ubuntu tftp directory will be
will either need to modify our helper scripts to match the new
default, or modify
TFTP_DIRECTORY to match our source.
You may need to adjust ownership and/or permissions to allow
you access to the directory (e.g.
/var/lib/tftpboot if you are in a benign environment.
Our source expects the tftp directory to be /var/tftpboot/$USER.
Setting up the time server
xinetd to serve time by
/etc/xinetd.d/time to set
no, and restart via
sudo service xinetd restart.
# default: off
# description: An RFC 868 time server. This protocol provides a
# site-independent, machine readable date and time. The Time service sends back
# to the originating source the time in seconds since midnight on January first
# This is the tcp version.
disable = no
type = INTERNAL
id = time-stream
socket_type = stream
protocol = tcpar
user = root
wait = no
# This is the udp version.
disable = no
type = INTERNAL
id = time-dgram
socket_type = dgram
protocol = udp
user = root
wait = yes
Apparently, for some versions of ubuntu there was no obvious
ways to coerce xinetd into serving TIME. On the
other hand, it's a 5-line Java program, so writing a server for it
is left as an exercise to the reader. Have a read of
Set up an NFS share
Make sure NFS server is installed:
Then set up the exports by editing
$ apt-get install nfs-kernel-server nfs-common
/etc/exports and adding the following lines (adjusted for the location of your tftp root directory and your username):
/var/tftpbootUSERNAME to whatever is set
to in your tftpd configuration.
Serial Line Access
Add your account to group
You may be required to change the settings for minicom. Use
dialout to give access
/dev/ttyUSB0. You'll need to logout and back in to
update your groups. If you skip this minicom may need root permissions to run.
dmesg to work out which port the USB to serial converter has been attached to
/dev/ttyUSB0). Then set minicom to use that serial port, 115200 baud rate, 8N1, and no hardware flow
sudo minicom -s /dev/ttyUSB0.
03 Aug 2013.