Advanced Operating Systems
COMP9242 2015/S2 |
UNSW
CRICOS Provider Number: 00098G |
Printer-Friendly
Version
|
Milestone 0: FamiliarisationThis is a simple exercise designed to get you started on seL4. It contains very detailed instructions, together with the existing source code and the seL4 manual you should have no problem doing it. Your EnvironmentIf you haven't already you may want to take a look at Sabre Lite Lab to set up your development environment and your Sabre Lite.Most of the 9242 binaries (eg. cross compilers) are in ~cs9242/crossdev/arm-2013.05. You can add this to your path with: export PATH=$PATH:/home/cs9242/crossdev/arm-2013.05/bin export PYTHONPATH=$PYTHONPATH:/home/cs9242/bin/py If you are lazy you can just use the 9242 command for the cs9242 shell: ~ % 9242 newclass starting new subshell for class COMP9242... ~ % arm-none-linux-gnueabi-ld arm-none-linux-gnueabi-ld: no input files Note: Your minicom should default to 115200, 8N1, no hardware flow control. If it doesn't then you will have problems talking to your Sabre. Building SOS
Getting SOS on non-lab machines
The sources to the project are also available at https://bitbucket.org/kevinelp/unsw-advanced-operating-systems for anybody outside UNSW who wishes to take a look at the project. Getting it GoingBooting your Sabre Lite for the first time is easy:
Development cycleWe have developed a few tools to speed the development cycle along. The makefile can copy the sos operating system, known as a bootimage to your tftp directory and reset the Sabre. Below is a typical development cycle, assuming the path changes to your login script:
The MilestoneThe example skeleton operating system includes an application
The example includes a The second part of milestone zero is to find a partner for the rest of the project. The project is to be completed, in pairs, unless prior permission has been obtained from the LiC. Recommended procedure
AssessmentMilestone submissionSee the milestone submission guidelines for instructions on submitting your milestone solution. Milestone DemonstrationYou will need to demonstrate user applications printing to the 2nd console via libserial, running on the Sabre Lite hardware to the tutor during the demonstration period. You should be prepared to show your tutor which files you modified in your solution, and explain any design decisions you made. Note that since you do not have consistent virtual memory management yet, your protocol will be fairly simple for now. However, it should be upgraded as more parts of the system are completed. Your tutor will be particularly interested in the details of your IPC interface with different sized blocks of data etc, and how you plan to improve it in future. Hint: sending a byte at a time is not a good solution. You will let the tutor know who your partner is so that group accounts can be created for you. Last modified: 27 Aug 2015. |