VirTex 4 mini Module

I've worked quite a bit with mine. The only real problem I had was that the silicon rev on the fx12 is old enough that there is a problem with the cache on the PPC. Lost about a week trying to get Linux to run because I didn't realize there was a silicon bug.

I've done my own design now, based largely on the mini-module and with the new silicon it's running linux 2.6 just fine at 100 Mhz.

Oh, also, the mini-module docs may drive you to using u-boot to bring up the linux kernel. In my experience it's just as easy to make a .bin from your kernel and jump to it directly from stage1_loader.

-Clark