AMCC POWERPC 44X系列的U-BOOT文件，可以编译U-BOOT，支持最新的440EPX！-390,725 POWERPC 44X series of U-BOOT documents, compile U-BOOT support the latest 440 EPX!

PowerPC处理器440Epx使用手册-PowerPC processor 440Epx user manual

PowerPc 440 GPT driver

Xilkernel是Xilinx公司提供的用于EDK系统的小型、模块化的操作系统，支持MicroBlaze、PowerPC405以及PowerPC440处理器。支持可移植操作系统接口(POSIX）。 Xilkernel功能函数包括：线程管理、信号量、消息队列、共享内存、互斥锁、动态内存管理、软件定时、用户层中断处理API等几个方面。 -Xilkernel Xilinx EDK system for small, modular operating system, to support t