SMP support for ZEDBOARD

[Ian Lepore]

On Mon, 2014-04-28 at 16:58 -0700, Thomas Skibo wrote:
> Hi, All.
> 
> I continue to test FreeBSD on the Zedboard and SMP seems very solid. Can 
> I get someone to commit SMP support to head (diffs attached)?
> 
> I also have some bug-fixes too, mainly for the ethernet driver.  Should 
> I just file bugs and provide the patches?
> 
> Thanks,

These look good, I'm going to commit them this afternoon.  For the
ethernet driver, start by just posting the patches here.  If I don't get
to them within a day or two of posting them, then a PR will help ensure
they don't get lost.

-- Ian