K42/Tornado Operating System

U of T Presentation Outline

1. How to connect to our presentation.

2. Introduction
   ------------
   - Display U of T K42 external web page
       http://www.eecg.toronto.edu/~tornado/
   - U of T K42 research overview (Michael)
   - graduate student research focus (Raymond, Adrian, Reza, David)

3. Checkout of Sources
   -------------------
   - Display U of T local internal technical documentation
       http://www.eecg.toronto.edu/~numadoc
       username =
       password =
   a) K42 core source
   b) Linux 2.6 checkout + 1 patch
   c) partDebImg package containing glibc and gnu apps
   d) local U of T kpanel GUI

4. Demo
   ----
   - Most are documented at http://www.eecg.toronto.edu/~numadoc 
   a) compiling k42
   b) how to use kpanel to boot k42 on victim machines
   c) how to rlogin to k42
      - file system discussion:
          - "common resource" k42-packages stuff and
          - per-developer stuff produced during build
   d) how to do a fast reboot <- should be the normal case
   e) Demo of a small k42 source change, quick compile, and fast reboot and
        fast upload of modified kernel image
   f) how to debug: (Documented at http://www.eecg.toronto.edu/~numadoc)
        - kernel
        - user-level application
   h) Use of trace facility (Reza)