[1] EDK OS and Libraries Reference Manual. Xilinx.
[2] Raw TCP/IP interface for lwIP 0.5. Adam Dunkels.
[3] Xilinx Virtex-II Pro Development Kit. Avnet.
[4] Virtex-II Pro Platform FPGA Handbook. Xilinx.
[5] PowerPC Processor Reference Guide. Xilinx.
[6] Platform Studio User Guide. Xilinx.
[7] Embedded System Tools Guide. Xilinx.
[8] Xilinx Device Driver API. Xilinx.
[9] Platform Specifique Format Reference Manual. Xilinx.
[10] CrossGCC Frequently Asked Questions. Scott Howard. 1999
[11] Documentation Officielle U-Boot.
[12] Debugging with GDB. Richard Stallman, Roland Pesch, Stan Shebs, et al. Free Software Foundation. 2005
[13] Understanding the Linux Kernel. Daniel P. Bovet et Marco Cesati. O'Reilly. 2002
[14] Linux Device Drivers. Jonathan Corbet, Alessandro Rubini, et Greg Kroah-Hartman. O'Reilly. 2005
[15] MIND System Specification. Daniel Zuberbuehler.
[16] GNU/Linux on the Insight Electronics Virtex-II Pro Development Kit. .
[17] Building Embedded Linux Systems. Karim Yaghmour. O'Reilly. 2003
[18] Documentation officielle de µCLibC.
[19] Documentation officielle de la GLibC.
[20] Documentation officielle de BusyBox.
[21] 2006 -- year of the Linux device ?. LinuxDevices.com. 2005
