Logiciels Libres et Systèmes Embarqués


[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