Re: [MirageOS-devel] Mirage ARM port

["Robert N. M. Watson" <robert.watson@xxxxxxxxxxxx>]

On 14 Apr 2014, at 00:07, Andy Ray <andy.ray@xxxxxxxxxxx> wrote:

> There doesn't appear to be anything I can find on an Altera port of
> FreeBSD for their SoC devices.  They seem to be focussing on Linux for
> now; http://rocketboards.org.
> 
> On the other hand there is a FreeBSD port for Xilinx Zynq -
> specifically the ZedBoard; see http://www.zedboard.org and
> https://wiki.freebsd.org/FreeBSD/arm/Zedboard (FYI; the Adapteva
> Paralla board is also based on the ZedBoard).
> 
> Both vendors are using the same ARM architecture so I figure if I can
> get a serial port and uboot running on the Altera SoC bringing up a
> basic FreeBSD kernel should be doable.  The fun will be porting
> drivers.
> 
> I've been looking at the (rather slick) cross compiler tools for
> FreeBSD and (I think) I have compiled a RaspberryPi kernel and
> userland which I will now start to test.

Our group at Cambridge has been interested in giving FreeBSD a try on the 
Altera SocKit boards as well -- if you end up needing any upstream changes in 
FreeBSD, please let me know and we can help get them reviewed / merged.

Robert
_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel