10:17 <kensan> We just release Muen 0.9 which includes support for MirageOS: https://twitter.com/Kensan42/status/958282497938386944

10:18 <kensan> As part of this release we also wrote an article that describes how to run MirageOS unikernels on Muen: https://muen.sk/articles.html

10:19 <hannes> \o/

10:23 <kensan> Sorry, direct link to announcement email is here: https://groups.google.com/forum/#!topic/muen-dev/FPL9sc4yaBE

10:27 <kensan> Oh also: the entire muen.sk site is served by a MirageOS unikernel running on Muen :)

10:27 <hannes> <3

10:35 <kensan> :)

10:43 <h01ger> what other bootloaders are there for mirage except grub? i'm asking for adding support for qubes to that (so that the bootloader (running in the app-vm) can read+load the unikernel, and not dom0), so far they plan to use grub, and i think grub is overkill, as its its own OS…

10:44 <hannes> h01ger: i suspect you'll get more answers on the mirageos-devel mailing list

10:45 <h01ger> ah, pity, i hoped you could give me 1-2 names :)

10:47 <hannes> i don't know much about grub and linux and booting -- on my FreeBSD using solo5 there's no grub involved anymore (bhyve + virtio + grub-bhyve + solo5-virtio there's grub) ;)

10:48 <h01ger> i'm looking for alternatives to grub

10:48 <h01ger> and i dont wanna boot linux, but mirage

10:49 <h01ger> so solo5 might be the bootloader they are looking for. i thought so…

10:54 <reynir> I don't think you need a bootloader for booting mirage in xen (qubes)

10:54 <hannes> h01ger: as i said, i don't know much about linux and booting and xen. but solo5 is unlikely to work here since there's the need for xenstore etc. support, and it depends heavily on what xen (xl) expects from a guest os and what/how xen can boot guest os

10:55 <reynir> (but what hannes said applies to me as well, don't know much about this)

10:55 <h01ger> reynir: they dont want to read the mirage kernel by dom0, they want to start the vm and run a "bootloader" there, which then loads the kernel

10:56 <h01ger> hannes: its xen, not linux…

10:57 <reynir> Is this on the devel list?

10:58 <reynir> qubes-devel*

10:59 <h01ger> no, that was a private discussion with marek

11:00 <h01ger> they also like the idea of adding gui support for mirage os, so one doesnt need to use the linux modules hack anymore (to provide a json file with configuration, like joe's modififed qubes-mirage-firewall uses)

11:03 <reynir> what hack?

11:05 <h01ger> using the linux modules file to provide a json file for mirage

11:05 <reynir> Ah

11:42 <jpdeplaix> kensan: nice !! \o/

15:20 <hannes> kensan: btw, why is there no pull request for mirage and muen support? I suspect mirage/mirage needs to know about the new platform at some stage..

15:40 <kensan> hannes: see https://github.com/Solo5/solo5/issues/194

15:41 <kensan> hannes: We need a solo5 release first.

18:33 <reynir> Is github.com/talex5/mini-os/ or github.com/mirage/mini-os/ the source for the opam package minios-xen? The opam file says the former, but it seems the activity is at the latter...

19:00 <hannes> archive: "https://github.com/talex5/mini-os/archive/v0.9.tar.gz"

19:00 <hannes> is what is used in minos-xen opam package

19:02 <hannes> reynir: ^^

19:43 <reynir> Yes, thanks

20:18 <damjan> so is this muen like another XEN ?

20:18 <damjan> (sorry for ignorance)

20:52 <hannes> damjan: yes, it is another hypervisor! this time with less code and without dynamic resources

21:01 <damjan> thanks