Milestone 0: Familiarisation

This is a simple exercise designed to get you started on L4. It contains very detailed instructions, together with the existing source code and the L4 manual you should have no problem doing it.

Your Environment

    ~ % export PATH=$PATH:/home/disy/crossdev/$ARCH/bin
  

    ~ % 9242
    newclass starting new subshell for class COMP9242...
    ~ % mips64-elf-ld
    mips64-elf-ld: no input files
  

Building the L4 Kernel

• For AOS we run the Pistachio 0.4 release. We have a patched version with some minor tweaks to work with the local machines and toolchain. Get a copy of the pistachio-0.4-aos source. (This version is based on the L4Ka release with some patches, but the local version is the one you should use).
• Setup the kernel build:

      ~/cs9242 % tar jxvf pistachio-0.4-aos.tar.bz2
      ~/cs9242 % cd pistachio-0.4-aos
      ~/cs9242/pistachio-0.4-aos % mkdir build
      ~/cs9242/pistachio-0.4-aos % cd kernel
      ~/cs9242/pistachio-0.4-aos/kernel % make BUILDDIR=`pwd`/../build/u4600-kernel
      ~/cs9242/pistachio-0.4-aos/kernel % cd ../build/u4600-kernel
      ~/cs9242/pistachio-0.4-aos/kernel % make menuconfig
        

• Using menuconfig, configure the kernel as follows
  • Hardware
  • MIPS-64 Basic Architecture
  • MIPS-64 R4X00 Processor Type
  • U4600 Platform
  • [ ] Run CPU uncached
  • No need to change Miscellaneous
  • Kernel
  • [ ] Fast IPC Path
  • [Y] Enable Debugging Mode
  • Debugger
  • [Y] Enable Kernel Debugger
  • [ ] Enable Disassembler
  • [ ] Enter kernel debugger on startup
  • [Y] Kernel debugger breakin
  • [ ] Disable all ASSERT, WARNING, TRACE, etc.
  • Trace Settings
  • [Y] Verbose initializion
  • [Y] Enable Tracepoints
  • [Y] Enable tracing of kernel memory
• Now type make. When it completes you should have a shiny new mips64-kernel file.

Building the L4 User Code (libl4, sigma0)

• Create a u4600-user build directory in pistachio. Make sure the --with-kerneldir path is correct for your setup.

      ~ % cd ~/cs9242/pistachio-0.4-aos/build
      ~/cs9242/pistachio-0.4-aos/build % mkdir u4600-user
      ~/cs9242/pistachio-0.4-aos/build % cd u4600-user
      ~/cs9242/pistachio-0.4-aos/build/u4600-user % ../../user/configure --host=mips64 --with-kerneldir=~/cs9242/pistachio-0.4-aos/build/u4600-kernel/
      ~/cs9242/pistachio-0.4-aos/build/u4600-user % make
        

• You can test this binary using the Sulima simulator as follows (the timing won't work, however):

      ~/cs9242/pistachio-0.4-aos/build/u4600-user % ~cs9242/bin/u4600 contrib/elf-loader/mips64-loader
  	

• When the MIPS hardware is working you should also be able to boot the pingpong test program.

      ~/cs9242/pistachio-0.4-aos/build/u4600-user % cp contrib/elf-loader/mips64-loader /tftpboot/kernel.img
  	

  then on the u4600 prompt do the following (see the Asyst lab notes or using sulima, for further information):

  
      mips15> boot
      Loading file: 129.94.209.95:kernel.img  (elf)
       0x80400000/456152 + 55 syms/
      Entry address is 80401c38
      mips15> g
  
  	

  and see some output and the pingpong program.

Building SOS

• Get yourself a copy of the skeleton SOS.
• Build and run the sample code.
  1. tar zxvf sos05.tar.gz
  2. cd sos
  3. Edit Makefile to make sure the paths are sane, in particular the L4ROOT and L4BUILDDIR variables.
  4. make
  5. This should create /tftpboot/sos.$USER
• You can quickly test the build boots with a make sulima
• The example skeleton operating system includes an application tty_test which starts up, prints out its thread id, and then goes into a loop.
• The example includes a printf implementation that outputs data to L4's debug console. In fact it uses the provided l4e_print_string function. This function should only be used for internal SOS debugging, not as a console for applications, so, your task is to modify the printf function to send data to the other serial port.

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

1. Read (and understand) the code in sos/main.c and the code in the tty_test application.
2. Read the documentation on libserial.
3. Design an IPC protocol to transfer data from the user program to your operating system.
4. Write a client side implementation called tty_send_string (or similar) in ttyout.c.
5. Change the syscall_loop in main.c to handle recognise your new protocol, and print out a debug message when you receive one of these messages.
6. Edit tty_test.c so that it tests your tty_send_string function.
7. Change the server side so that it now prints the data to the serial port.
8. Change the implementation of printf to use your new tty_send_string function.
9. Test that all of tty_test's output now goes to the second serial line, not the console debugger.

Assessment

You will need to demonstrate user applications printing to the 2nd console via the serial driver, running on the U4600 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.

You will let the tutor know who your partner is so that group accounts can be created for you.