Re: [MirageOS-devel] Mirage/ARM plans

[Thomas Leonard <talex5@xxxxxxxxx>]

On 13 May 2014 13:53, Thomas Leonard <talex5@xxxxxxxxx> wrote:
> On 12 May 2014 16:10, Anil Madhavapeddy <anil@xxxxxxxxxx> wrote:
>> On Mon, May 12, 2014 at 10:28:15AM +0100, Thomas Leonard wrote:
>>> Here are the things I think need to happen to get Mirage working on ARM:
>>
>> Great summary!  My comments inline:
>>
>>>
>>> - Update Mini-OS to support both x86 and ARM (done but not yet merged).
>>
>> This refers to upstream Xen MiniOS, right?  Do you think it's worth
>> modifying the MiniOS repository to build fully independently of Xen (so
>> that we can extract the git subtree) and install its header files and
>> .a/.lds files somewhere that can be picked up by the mirage-platform
>> build?
>
> Could do. The changes needed to Mini-OS for that are here:
>
> https://github.com/talex5/mirage-platform/commit/53e2675e05df29bae96298844687c14020986e7c
>
> Another option would be to add a "make install-ocamlfind" target to
> the upstream Xen copy.

If we're going to make libminios installable separately, does anyone
have a preference for ocamlfind vs pkg-config (or something else)?

For openlibm, pkg-config is probably the way go, and it might make
sense to do the same with libminios (to make it useful outside of
OCaml projects).

Will we expect people to install these dependencies themselves, or is
the plan to bundle them with mirage-platform?


-- 
Dr Thomas Leonard        http://0install.net/
GPG: 9242 9807 C985 3C07 44A6  8B9A AE07 8280 59A5 3CC1
GPG: DA98 25AE CAD0 8975 7CDA  BD8E 0713 3F96 CA74 D8BA

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