Plan for commiting Xilinx Zynq support to HEAD

[Wojciech A. Koszek]

Hello,

Thomas Skibo did an excellent work in making FreeBSD run on Zynq.

I tested his code from Perforce branch yesterday. It worked seamlessly after
following his steps from:

	http://www.thomasskibo.com/zedbsd/

I'd like you guys to look at stuff Thomas did. His branch is here:

	//depot/user/skibo/skibo_zynq/...

Lets give it 5--7 days of wait time, since I approached most of interested
individuals on IRC anyway. Unless there are objections, I'd like to see this
stuff going into HEAD.

Thanks,

-- 
Wojciech A. Koszek
wkoszek at FreeBSD.czest.pl
http://FreeBSD.czest.pl/~wkoszek/