Linux kernel patches for the SkyEye emulator
--------------------------------------------

1/ Pickup a patch file in this directory

2/ Download the corresponding kernel sources from http://kernel.org

3/ Configure your kernel:
   Ready to use config files are shipped in the patches, for example:
   arch/arm/configs/lubbockskyeye_defconfig
   In this example, you just have to run:
   make lubbockskyeye_defconfig
   ... to get our default configuration file.
   That doesn't prevent you from running "make xconfig"
   to refine the configuration settings according to your needs. 

4/ Compiling environment
   Add a arm-linux crosscompiling toolchain to your PATH.
   Example:
   Download and install the arm toolchain
   from http://free-electrons.com/community/tools/uclibc
   export PATH=/usr/local/uclibc-0.9.28/arm/bin:$PATH

5/ Compile your kernel:
   Just run "make"

6/ Testing your kernel with SkyEye:
   Get a skyeye.conf and root file system image from
   the skyeye-testsuite product
   (http://gro.clinux.org/frs/download.php/1272/skyeye-testsuit-2.0.tar.bz2
   or a more recent version)
   In the right directory, copy the "vmlinux" executable that kernel
   compiling generated, and run "skyeye -e vmlinux".

All this will be detailed in a HOWTO document.