On 11 May 2015, at 09:18, Thomas Leonard <[email protected]> wrote: > > On 11 May 2015 at 01:56, Anil Madhavapeddy <[email protected]> wrote: >> On 7 May 2015, at 08:44, Thomas Leonard <[email protected]> wrote: >>> >>> On 28 October 2014 at 21:45, Anil Madhavapeddy <[email protected]> wrote: >>>> On 26 May 2014, at 11:37, Dave Scott <[email protected]> wrote: >>>>> >>>>> >>>>> On 26 May 2014, at 11:31, Anil Madhavapeddy <[email protected]> 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`
Good stuff. How does this hook into the mirage-minios-xen repository? Do we need to disable the local MiniOS installation there for this one to be picked up? If so, it might be worth breaking up that repository into individual OPAM packages so that they can pinned separately... -anil _______________________________________________ MirageOS-devel mailing list [email protected] http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
