Re: [MirageOS-devel] github xen git mirror

[Thomas Leonard <talex5@xxxxxxxxx>]

On 11 May 2015 at 01:56, Anil Madhavapeddy <anil@xxxxxxxxxx> wrote:
> On 7 May 2015, at 08:44, Thomas Leonard <talex5@xxxxxxxxx> wrote:
>>
>> On 28 October 2014 at 21:45, Anil Madhavapeddy <anil@xxxxxxxxxx> wrote:
>>> On 26 May 2014, at 11:37, Dave Scott <Dave.Scott@xxxxxxxxxx> wrote:
>>>>
>>>>
>>>> On 26 May 2014, at 11:31, Anil Madhavapeddy <anil@xxxxxxxxxx> wrote:
>>>>
>>>>> A bunch of us now have our own GitHub mirrors of Xen, so it's a good idea 
>>>>> to have a proper mirror repository to fork from instead.
>>>>>
>>>>> Dave, I noticed your mirror scripts on mirage/xen have stopped.  Do you 
>>>>> mind if I take that over and setup a cron job for it from the bactrian 
>>>>> bot?
>>>>
>>>> Oops, I lost those when I reinstalled the box they were running on.
>>>>
>>>> Feel free to run cron somewhere else!
>>>
>>> This is now running as an hourly cronjob on blobs.openmirage.org and 
>>> mirroring to:
>>>
>>>   https://github.com/mirage/xen
>>>
>>> Thomas(L), we could also extend the cron mirroring to split out MiniOS in 
>>> the future via git-filter-branch, if we need that to split out MiniOS in 
>>> the future.
>>
>> Mini-OS now has its own repository. Can we get a mirror of that too?
>>
>>  http://xenbits.xen.org/gitweb/?p=mini-os.git;a=summary
>
> Now setup at:
>
> https://github.com/mirage/mini-os
>
> and synching hourly from upstream, just as the existing Xen mirror does.

Thanks! I've rebased my "devel" branch (with the ARM support) from the
Xen repository to a fork of the new Mini-OS repository (now on
"master"):

  https://github.com/talex5/mini-os

You should be able to build and install with:

git clone https://github.com/talex5/mini-os.git
cd mini-os
git submodule update --init
make install PREFIX=`opam config var prefix`


-- 
Dr Thomas Leonard        http://roscidus.com/blog/
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