[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [MirageOS-devel] Mirage ARM port

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:

which should make adding your ARM patch much easier there.

MirageOS-devel mailing list



Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.