Prerequisites
From TUDOS-Wiki
Human Requirements
Users using the system should know the following:
- Basic understanding of a Linux based system for software development
- How to work with a shell
- Know what gcc is
- What make is and how it's used
- Understand the english language
- For L4Linux: Know how to configure and compile the Linux kernel
- Have a basic understanding on how an L4 system works, which components are involved and how they play together
Basic System
To build the system you need the following:
- x86 Linux host system (64bit is also supposed to work)
- gcc and g++
- make
- perl
- gawk
- libcurses-dev
Good to have:
- subversion client
- doxygen to build documentation
All those should be part of any recent Linux distribution.
