HOWTOs

Building Fiasco and L4Env components

• Prerequisites
• Fiasco
• Dice IDL compiler
• L4Env
• L4Linux
• Quickstart

Running and using Fiasco and L4Env components

• Systems to use
  • hardware requirements
  • virtual machines
    • QEmu
    • Fiasco-UX
    • VMware
    • Virtualbox
  • Boot from CD
  • Boot from TFTP server
• serial console
• GRUB
  • building patched grub
  • menu.lst
    • menu.lst-Examples
  • TUDOS GRUB patches
  • GRUB2
• bootstrap
  • modi
• Fiasco + hello
• L⁴Linux
• graphics modes
• loader
• network

Miscellaneous How-Tos

• stacking colorgcc, ccache, distcc, and gcc