make docs
Build documentation. Requireddoxygen
to be installed.make versatilepb
Builds for the Versatile/PB platform, which we use for QEMU.make e2etest
Builds for the Versatile/PB platform but with the test runner as the first user task.make qemu
Doesmake versatilepb
and starts the QEMU GUI.make qemuconsole
Doesmake versatilepb
and starts QEMU with terminal output showing in the console.make qemutesting
Doesmake e2etest
and starts QEMU with the test runner as the first user task and with terminal output showing in the gui.make qemutestingconsole
Doesmake e2etest
and starts QEMU with the test runner as the first user task and with terminal output showing in the console.make qemutcprun
Doesmake e2etest
and starts QEMU with terminal output sent over port 9991.make arm
Compile the kernel with the train lab configuration on your machine.make trainslab
Compile the kernel with the train lab configuration (expectsgcc-arm-none-eabi-7-2017-q4-major
and subdirectories to be in your$HOME
folder).make upload
Cleans, compiles with the trains lab configuration and uploads it to be accessed in the lab. RunTEST_RUNNER=true make upload
to build with the test runner as the first user task.make test
Runs all Googletest unit tests.make ci
Builds the docs, runsmake arm
andmake versatilepb
, and runs all the tests. Used by Travis CI.make
Does the same asmake upload
.
Various debugging compiler flags can be passed (See Makefile
).
In addition, you can the following environment variables to customize the build:
TEST_RUNNER=true
will run a program that spawns a number of other programs. We use this configuration in our end to end tests to dynamically decide which program to run. If you specify this option for builds, it will also enable timer interrupts.TIMER_INTERRUPTS=true
will enable timer interrupts for build targets with-DE2ETESTING
(e.g.e2etest
,qemutesting
, andqemutestingconsole
). Without this variable, the targete2etest
uses a simulated form of timer interrupts where a task instantly returns from a timer interrupt.BWLOG=true
will change calls tologprintf
to use busy-wait I/O instead of writing to a log. This is useful for debugging infinite loops.
Some targets use environment variables to find their compiler/libraries.
make test
requires Googletest to be installed.
GTEST
should point to the installed header files of Googletest (on our machines/usr/local/include/gtest
).LIBGTEST
should point to the Googletest library (on our machines/usr/local/lib/libgtest.a
).
To compile to ARM outside of the student environment, you need to
- Add a cross-compiler to your PATH (e.g.
/some/dir/gcc-arm-none-eabi-7-2017-q4-major/bin/arm-none-eabi-gcc
- Set the environment variable
armlibs
to the libraries of the cross-compiler. We only need it forlibgcc.a
(e.g./some/dir/gcc-arm-none-eabi-7-2017-q4-major/lib/gcc/arm-none-eabi/7.2.1
).
Kernel
- "Scheduler"
- "Message passing"
- "Interrupts + clock server"
- "Interrupt-driven IO + a0 + loose ends"
Train Control
- "Stop train anywhere reliably" -> Stopping reliably is more important than having a large set of possible destinations
- "Improve stopping precision, detect single switch/sensor error"