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

Re: [MirageOS-devel] github xen git mirror

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


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



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