Compiled References and Resources

1. WARP Resources
   1. ​http://warp.rice.edu/trac – WARP reference designs and walkthroughs.
2. Xilinx API and Tools Resources
   1. $EDK\doc\oslib_rm.pdf – EDK Operating and systems and libraries manual. Contains API documentation for:
      1. Standalone OS
      2. Xilkernel OS
      3. LibXil Net – networking API (deprecated)
      4. LibXil File – file management support for already created file systems
      5. LibXil FATFile System (FATfs) – FAT file system for compact flash
      6. LibXil Memory File System – another file management tool for memory
      7. LibXil Profile – functions for analyzing/benchmarking a program running on hardware
      8. lwIP – advanced networking functionality
   2. $EDK\doc\est_rm.pdf – Embedded System Tools Reference Manaul. Documentation for a suite of system tools XPS uses. Most notably: XMD and GCC
   3. $EDK\doc\xilinx_drivers_api_toc.htm – Xilinx-based peripheral driver API documentation
3. PowerPC Architecture Resources
   1. ​http://www.xilinx.com/products/silicon_solutions/fpgas/virtex/virtex_ii_pro_fpgas/capabilities/powerpc.htm -- In depth web-based overview of the layout of the PowerPC 405 embedded in the Virtex-II Pro FPGA fabric (note: you can click on the pictures to get information on lower layers)
   2. ​http://www.xilinx.com/ise/embedded/ppc_ref_guide.pdf – PowerPC 405 user guide
   3. ​http://www.xilinx.com/publications/xcellonline/partners/xc_ibm_arch.htm –“The PowerPC Architecture: A Programmer’s View” by Anthony Marsala – a basic breakdown of the architecture from a programming standpoint
   4. ​http://www-128.ibm.com/developerworks/views/power/libraryview.jsp?type_by=Standards – The complete technical library on the PowerPC provided by IBM
   5. ​http://www-03.ibm.com/servers/eserver/pseries/hardware/whitepapers/power/ppc_arch.html – An overview of the PPC architecture layout
   6. ​http://www-128.ibm.com/developerworks/power/newto/ – Good background and historical information on the PPC architecture
4. Alternative Embedded OS Resources
   1. ​http://www.crhc.uiuc.edu/IMPACT/gsrc/hardwarelab/docs/kernel-HOWTO.html – Installing Linux on a Virtex-II Pro
   2. ​http://www.klingauf.de/v2p/index.phtml – Installing Linux on a Virtex-II Pro
   3. ​http://www.xilinx.com/products/design_resources/design_tool/grouping/embedded_os.htm – A list of all Xilinx-Partnered OS developers
   4. ​http://www.mrtc.mdh.se/projects/asterix/ – the Asterix kernel project page
5. Extraneous Resources
   1. ​http://www.ee.byu.edu/ugrad/srprojects/compsys/teams/supermpeg/groups/supermpeg/endpages/Gabes_proj.php – Modifying xilkernel for upgrading interrupt support (by Gabriel Black)
   2. ​http://www.google.com/u/BYU?q=cache:4-EZ9mGOxHMJ:www.ee.byu.edu/ugrad/srprojects/compsys/teams/supermpeg/groups/supermpeg/endpages/Gabes_proj.php+xilkernel&hl=en&ct=clnk&cd=2&ie=UTF-8 – Google-cached version of the above site
   3. ​http://gcc.gnu.org/onlinedocs/gcc/ – the complete GCC manual (good for figuring out the extent of Xilinx’s support for C)
   4. ​http://www.idt.mdh.se/utbildning/exjobb/files/TR0499finalPresentation.ppt – presentation that benchmarks/compares Xilkernel, uClinux, and the Asterix Operating Systems (for MicroBlaze) – by Anders Rönnholm
   5. ​http://www.idt.mdh.se/utbildning/exjobb/files/TR0499thesis_final.pdf – final thesis paper for the above presentation, by Anders Rönnholm
   6. ​http://academic.udayton.edu/markpatterson/ECT358/Lecture%2028%20XilKernel.ppt – a brief introduction to Xilkernel (by Mark Patterson) – good for gaining a better understanding of what things like semaphores and mutecies actually mean with regards to xilkernel.

PREV: Available WARP Reference Designs

| HOME