Re: [MirageOS-devel] Mirage ARM port

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

On 27 Apr 2014, at 07:23, Anil Madhavapeddy <anil@xxxxxxxxxx> wrote:

>>> Thanks to the multi-repository support of pkg(8), anybody can build (via
>>> poudriere [1]) and host pkg(8) repositories [2].  Packages for armv6 may
>>> be even cross-built [3] on x86 with poudriere.
>>> 
>>> [1] http://www.freshports.org/ports-mgmt/poudriere
>>> [2] https://wiki.freebsd.org/PkgPrimer#Building_custom_repositories
>>> [3] https://fossil.etoilebsd.net/poudriere/tktview?name=eb7afa654c
>> 
>> For the timebeing I have put the packages on a github gh-pages website;
>> 
>> http://andrewray.github.io/mirage-fpga/
>> 
>> I can't put the actual rpi image up there as it is too large for
>> github.  For now if anyone wants it let me know and I'll share it with
>> dropbox.
>> 
>> Good to know about poudriere - I'll take a look at some point.
>> 
>> I will shortly push the compiler to opam-repository at which point
>> opam should be good to go.
> 
> FYI, I noticed that the FreeBSD port has been updated to 4.01.0 now:
> https://github.com/freebsd/freebsd-ports/commit/f52a5efa6376bb02edefe073fa453a8501d4c103
> 
> which should make adding your ARM patch much easier there.

FYI, the MIPS/ARM cross-build work for ports were developed by Stacey Son for 
SRI/Cambridge on our CTSRD project, so if you have any questions or bump into 
any issues, let us know!

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