Re: [MirageOS-devel] Mirage ARM port

[Anil Madhavapeddy <anil@xxxxxxxxxx>]

On 21 Apr 2014, at 13:16, Andy Ray <andy.ray@xxxxxxxxxxx> wrote:

> On Sun, Apr 20, 2014 at 7:40 PM, PALI Gabor Janos <pgj@xxxxxxx> wrote:
>> On Sun, Apr 20, 2014 at 08:39:29AM +0100, Anil Madhavapeddy wrote:
>>> On 20 Apr 2014, at 00:52, Andy Ray <andy.ray@xxxxxxxxxxx> wrote:
>>>> Is there somewhere central I could put pkgng binaries and board images
>>>> for sharing?
>>> 
>>> Good question.  I suspect a Github 'releases' tab is probably easiest.
>>> I can set up a binary Git repository on *.ocaml.org when I"m back
>>> (or self-host it using Irminsule, if Thomas is feeling confident).
>> 
>> 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.

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