Advanced Operating Systems
COMP9242 2018/S2 |
UNSW
CRICOS Provider Number: 00098G |
Printer-Friendly
Version
|
Developing your AOS project on LinuxThis page provides instructions for setting up your Linux machine for working on the AOS project. These instructions will be distribution specific (for Ubuntu) but they should at least give you an idea of how to set up other distributions. The components you will need to install are:
Follow the seL4 build dependencies (you only need to install the Base Build Dependencies and the Python Dependencies) instructions on the seL4 docsite. Note: that you only require the aarch64 cross-compilers. Once this stage is completed successfully, you should be able to compile the AOS project. Other dependenciesInstall the following packages in order to run the project and communicate with the hardware:
Setting up the networkInsert the USB to Ethernet adapter into a spare USB port on your Linux host
machine and run the following:
Add the following lines
to Setting up the TFTP serverAfter installing the You may need to adjust ownership and/or permissions to allow
you access to the directory (e.g. Our source expects the tftp directory to be Make sure to enable and start the tftp server with
Set up an NFS shareMake sure NFS server is installed:
Then set up the exports by editing /etc/exports and adding the following lines (adjusted for the location of your tftp root directory and your username):
Substitute Substitute Substitute To restart the nfs server with the updated exports, run:
Serial Line Access Add your account to group dmesg to work out which port the USB to serial converter has been attached to
(its usually /dev/ttyUSB0 ). Then set picocom to use that serial port, 115200 baud rate, 8N1, and no hardware flow
control, using sudo picocom -b 115200 /dev/ttyUSB0 .
Last modified: 26 Jul 2018. |