make docsBuild documentation. Requireddoxygento be installed.make versatilepbBuilds for the Versatile/PB platform, which we use for QEMU.make e2etestBuilds for the Versatile/PB platform but with the test runner as the first user task.make qemuDoesmake versatilepband starts the QEMU GUI.make qemuconsoleDoesmake versatilepband starts QEMU with terminal output showing in the console.make qemutestingDoesmake e2etestand starts QEMU with the test runner as the first user task and with terminal output showing in the gui.make qemutestingconsoleDoesmake e2etestand starts QEMU with the test runner as the first user task and with terminal output showing in the console.make qemutcprunDoesmake e2etestand starts QEMU with terminal output sent over port 9991.make armCompile the kernel with the train lab configuration on your machine.make trainslabCompile the kernel with the train lab configuration (expectsgcc-arm-none-eabi-7-2017-q4-majorand subdirectories to be in your$HOMEfolder).make uploadCleans, compiles with the trains lab configuration and uploads it to be accessed in the lab. RunTEST_RUNNER=true make uploadto build with the test runner as the first user task.make testRuns all Googletest unit tests.make ciBuilds the docs, runsmake armandmake versatilepb, and runs all the tests. Used by Travis CI.makeDoes 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=truewill 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=truewill enable timer interrupts for build targets with-DE2ETESTING(e.g.e2etest,qemutesting, andqemutestingconsole). Without this variable, the targete2etestuses a simulated form of timer interrupts where a task instantly returns from a timer interrupt.BWLOG=truewill change calls tologprintfto 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.
GTESTshould point to the installed header files of Googletest (on our machines/usr/local/include/gtest).LIBGTESTshould 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
armlibsto 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"
