Re: A unikernel for building unikernels

a detailed overview. Best, Nick On 12/16/24 14:08, Hannes Mehnert wrote: Dear Nick, On 16/12/2024 11:42, Nick Betteridge wrote: Does anyone know of any unikernels that can build unikernels for the local platform, using something like ocaml-monorepo and, perhaps, irmin? I'm afraid I'm

Re: A unikernel for building unikernels

xt year. Let me know if you want to be an early tester. Best, Thomas On 16 Dec 2024, at 11:42, Nick Betteridge wrote: Dear All, Does anyone know of any unikernels that can build unikernels for the local platform, using something like ocaml-monorepo and, perhaps, irmin? Hannes has sugge

A unikernel for building unikernels

Dear All, Does anyone know of any unikernels that can build unikernels for the local platform, using something like ocaml-monorepo and, perhaps, irmin? Hannes has suggested looking at something like ocamlnat [1], which would be one way of tackling the issue, but I was wondering if anyone had

Re: Beginner question about GPIO and mirage build process

Hi Michael, Please forgive this delayed response - I've been trying to think of an elegant and easy way of setting up a path between a gpio and unikernels. There are no interfaces per-se dealing with direct io interaction. However, you could try writing a device interface for the backend usin

Re: MirageOS and Unikernel.

The Unikernel system was a company that invented the Unikernel. When Docker bought it then it mean the Docker owned Unikernel technology. Docker is for Red Hat and Red Hat working on KVM, thus... MirageOS is composed of many libraries, all of which have their own license - generally ISC - with

Re: [MirageOS-devel] [cambridge] welcome Takayuki Imada

On 18/10/16 14:49, Anil Madhavapeddy wrote: > Dear Miragers, > > I'd like to introduce Takayuki Imada, who is joining the Cambridge Computer > Lab this week as a visitor for a year-long sabbatical from Hitachi in Japan. > > Takayuki describes himself as a "software virtualisation guy" and the go

Re: [MirageOS-devel] Raspberry Pi 3 installation

On 10/10/16 12:42, Anil Madhavapeddy wrote: On 10 Oct 2016, at 04:20, Eugene Bagdasaryan wrote: Thanks for the response! I understood that RPi is the worst case for virtualization. They lack GIC and KVM doesn’t support it. What hardware would you suggest to try? Does Pine 64 suits for Xen i

Re: [MirageOS-devel] Lifecycle

On 14/07/16 18:10, Daniel Bünzli wrote: > Le jeudi, 14 juillet 2016 à 17:53, Nick Betteridge a écrit : >> My Atmel Zigbit modem is currently strapped to my cubieboard - when I >> destroy the unikernel, the radio carries on singing. Is that what >> you're asking, or a

Re: [MirageOS-devel] Lifecycle

On 14/07/16 17:35, Nik Sultana wrote: > I wonder if there's a mature interface for life-cycling lightweight > processes in the Erlang ecosystem, perhaps covering the variety of > phases you described originally. (I'm thinking of Erlang and lightweight > processes since the lifecycle phases in the

Re: [MirageOS-devel] Lifecycle

On 14/07/16 17:35, Nik Sultana wrote: > I wonder if there's a mature interface for life-cycling lightweight > processes in the Erlang ecosystem, perhaps covering the variety of > phases you described originally. (I'm thinking of Erlang and lightweight > processes since the lifecycle phases in the i

Re: [MirageOS-devel] Lifecycle

> >> The basic calls would be Start, Stop, Pause, Resume. Restart? > I suspect restart may be difficult to distinguish in certain > contexts, this would make it an unreliable event. Do you have any > particular use cas for something you'd like to do knowing that you >

Re: [MirageOS-devel] Lifecycle

>>> The basic calls would be Start, Stop, Pause, Resume. Restart? >> >>> I suspect restart may be difficult to distinguish in certain >>> contexts, this would make it an unreliable event. Do you have any >>> particular use cas for something you'd like to do knowing that you >>> are going to r

[MirageOS-devel] Lifecycle

Firstly, just let me say that I had a great time yesterday at the Hackathon - finally managed to meet all of the people involved and working on/with Mirage - and very grateful for all of the suggestions (Solo5/Alpine etc). Big thanks, of course, to Gemma for organising the event. I'd li

Re: [MirageOS-devel] mirageos 3.0 : let's break some APIs

On 18/05/16 17:28, Mindy wrote: > I'm surely missing many things folks would want to incorporate in a big > API-breaking release -- please do let us know what they are. :) Adding Lifecycle (via listeners) for unikernels would be very useful - especially for housekeeping and migration. ___

Re: [MirageOS-devel] MirageOS Hackathon - July, Cambridge - dates?

Are you sure about the 11th? - the previous day contains the British GP, men's final Wimbledon and finally the European football championship final - might just be bleary-eyed :) Can easily make any of the others, count me in On 03/06/16 12:32, Gemma Gordon wrote: > Availability for hackathon in

Re: [MirageOS-devel] xen-arm-builder, pine64 and rpi-boot-ocaml

> On 7 Apr 2016, at 16:43, Nick Betteridge > wrote: >> >> A Pine64 has just turned up on my desk and I thought I might just have a >> try at building a x-a-b and r-b-o image for the beast. >> >> U-boot, kernel, xenial image etc., is, I believe, al

[MirageOS-devel] xen-arm-builder, pine64 and rpi-boot-ocaml

A Pine64 has just turned up on my desk and I thought I might just have a try at building a x-a-b and r-b-o image for the beast. U-boot, kernel, xenial image etc., is, I believe, almost there for the A64/Pine64 and virtualisation should work too. Can anyone advise me if this is going to lead me to

Re: [MirageOS-devel] MirageOS fortnightly call^H^HIRC - Wednesday *23rd March* at 4pm GMT

On 23/03/16 17:08, Anil Madhavapeddy wrote: > Raw IRC notes are: http://canopy.mirage.io/Posts/meeting-23mar > > Please do remember to send Gemma (gg...@cl.cam.ac.uk > ) any media from the hackathon. > > Anyone want to take a go at an IRC client -> Irmin -> Canopy log

Re: [MirageOS-devel] Calling C libraries from mirage OS

> > At least with the Xen target, it's not possible to link to C stubs > directly from the unikernel build. You have to build a library with > the C stubs, and then depend on that (because mirage reads the link > options from the ocamlfind META file). > Is there an example of this somewhere?

Re: [MirageOS-devel] How to implement protocols?

> Other than that the document feels like unstructured, poorly written [1], > random rumblings. > Gosh! ___ MirageOS-devel mailing list MirageOS-devel@lists.xenproject.org http://lists.xenproject.org/cgi-bin/

Re: [MirageOS-devel] Recommended device for MirageOS

Definitely recommend the Cubieboard2 or Cubietruck. I think that the sunxi development of cubieboard4 has dried up even though it's marked to be included in the next release. The only issue I've found with cubieboard2/3 - which is definitely the way to go - is that if you run the boards with

Re: [MirageOS-devel] Mirage clock

> > The intention is to use this library as the base for timestamp representation > and adapt CLOCK to use that instead. For now, putting in a float<->integer > shim would get you past this, but it shouldn't be needed after the conversion > to Ptime... > Ok, thanks. I still need to put toge

Re: [MirageOS-devel] Mirage clock

> > > > I have a use case where I need the clock resolution to be in milliseconds. > > Is there anyway I can get hold of the time in milli (/micro/nano) seconds > > from the system clock without incurring too much of a performance penalty? > > I think Clock.time is probably as fast as it's going

[MirageOS-devel] Mirage clock

Hi I have a use case where I need the clock resolution to be in milliseconds. Is there anyway I can get hold of the time in milli (/micro/nano) seconds from the system clock without incurring too much of a performance penalty? Cheers, Nick ___

Re: [MirageOS-devel] Deploying unikernels with files as arguments

> > Cheers, > Dave > Stellar. Very grateful. Thanks. Cheers Nick ___ MirageOS-devel mailing list MirageOS-devel@lists.xenproject.org http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel

[MirageOS-devel] Deploying unikernels with files as arguments

I'm trying to find a way of passing a file into a unikernel when deploying. I'm pretty sure this has been mentioned in the lists in the past, but I just can't track down the discussion. I really want to avoid using any form of compiled approach or an alternative like vchan etc.. I think that as

Re: [MirageOS-devel] cubie2 arm image loses mac

> Try running > > xe sr-list > This is what I got: sudo xe sr-list uuid ( RO): a0ceb329-83cb-d074-50d9-53846aa40ff7 name-label ( RW): XenServer Tools name-description ( RW): XenServer Tools ISOs host ( RO): cubieboard2 type ( RO): i

Re: [MirageOS-devel] cubie2 arm image loses mac

Excellent, they both compile, but I'm getting an error with the upload: ./dns.xe Uploading VDI containing unikernel result = [StatusSuccessValueOpaqueRef:da16d417-e6d1-c55f-1957-5f2e169d44ff] result = [StatusSuccessValueOpaqueRef:02d446ef-7760-6096-09cd-909e82b9d706] result = [StatusSuccessValueOp

Re: [MirageOS-devel] cubie2 arm image loses mac

> Try > > opam pin add mbr-format git://github.com/djs55/ocaml-mbr#release.0.3 > opam pin add xe-unikernel-upload > git://github.com/djs55/xe-unikernel-upload#new-mirage-interfaces > > I have built these but not tested them. Let me know if they work for you and > I’ll try to release them into

Re: [MirageOS-devel] cubie2 arm image loses mac

00 Subject: Re: [MirageOS-devel] cubie2 arm image loses mac From: scott...@gmail.com To: tal...@gmail.com CC: buzzheavyy...@hotmail.com; mirageos-devel@lists.xenproject.org; xen-...@lists.xenproject.org On Thu, Jun 4, 2015 at 9:31 AM, Thomas Leonard wrote: On 4 June 2015 at 09:22, Nick Betteri

Re: [MirageOS-devel] cubie2 arm image loses mac

Thanks for the input, I normally set up the board with a static ip address so that I can find it easily - I'll ask on the xapi list. ___ MirageOS-devel mailing list MirageOS-devel@lists.xenproject.org http://list

[MirageOS-devel] cubie2 arm image loses mac

Each time I fire up a '2 and leave it on overnight and then try and ssh into the board the following morning, I get a no route to host. Doing an arp on my machine will list the ip address but default to a 0:0:0:0:0:0 mac address. Incidentally, all of the running unikernels on the board are still

[MirageOS-devel] cubieboard2 with two unikernels

Hi I've been trying to run two unikernals on the cubieboard, but each time I try and xl create the second one, it always comes up with the following error: sudo xl create www.xl Parsing config from www.xl libxl: notice: libxl_numa.c:494:libxl__get_numa_candidate: NUMA placement failed, performa

Re: [MirageOS-devel] Anyone else have problems with openmirage.org?

On 21 May 2015, at 08:32, Nick Betteridge wrote: Over the last couple of days I got an 'out of memory' error on openmirage.org/blog, yet open mirage was fine. ___ MirageOS-devel mailing list

Re: [MirageOS-devel] Anyone else have problems with openmirage.org?

Over the last couple of days I got an 'out of memory' error on openmirage.org/blog, yet open mirage was fine. ___ MirageOS-devel mailing list MirageOS-devel@lists.xenproject.org http://lists.xenproject.org/cgi-

Re: [MirageOS-devel] mirage/skeleton/xen/static_website failing compilation

Hi Thomas, Anil, >Which version or mirage/mirage-skeleton/mirage-tcpip do you have? Be sure to either use all of the HEAD ones, or the one released in opal-repository (after an `opam update -u`). opam list gives: mirage 2.5.0 tcpip2.4.3 The V1_LWT

[MirageOS-devel] mirage/skeleton/xen/static_website failing compilation

Hi I'm trying to work out why this example is failing to compile, as it was OK not so long ago :) - File "dispatch.ml", line 14, characters 22-23: Error: Signature mismatch: Modules do not match: functor (C : V1.CLOCK) (T : V1_LWT.TIME) -> sig type buffer

Re: [MirageOS-devel] simple dns server

till > > complains about unknown services in other lines): > > > > on line 55, s/udp/17/ > > > > Then, rerun `mirage configure --unix` and `make`. After doing that and > > starting the server, I'm able to get a response from `dig @127.0.0.1 > > ns0.d

Re: [MirageOS-devel] simple dns server

Hi Luke, Sure, here are the zone files ( - the files have newlines following the final www statement) Thanks Nick [example1.zone] ; $TTL used for all RRs without explicit TTL value $ORIGIN example1.com. $TTL3600 ; 24 hours could have been written as 24h or 1d example1.com. 3600 IN SOA (

Re: [MirageOS-devel] simple dns server

Thanks Mindy & Heidi, I got this to work with a single zone - however, when I tried using DNS.serve_with_zonefiles and used dig, dig only returned the dns values of the last zone in the list, ie: let zonefiles = ["example1.com.zone"; "example2.net.zone"] module Main (C:CONSOLE) (K:KV_RO) (S:ST

[MirageOS-devel] simple dns server

Hello I'm trying to get the simple dns server to work that Heidi has in her examples (github.com/heidi-ann/ocaml-dns-examples) and I'm getting an error which I don't really understand - it's occurs both on the cubieboard and my amd64 desktop: [amd64] $ sudo ./mir-dns Manager: connect plugging

Re: [MirageOS-devel] /dev/net/tun on Cubieboard2

> > But also, please do feel free to submit a pull request to the xen-arm-builder > to build the missing modules by default. It was a fairly arbitrary set that > we picked to just get Xen up and running, and there's no harm in building > things like tuntap in so that all the Mirage backend modes

Re: [MirageOS-devel] /dev/net/tun on Cubieboard2

> > If you are using that image though, you'll probably find it more > interesting to use Xen rather than Unix+tuntap. > There failure I got was from using xen - I'll look at xen-arm-builder ___ MirageOS-devel

[MirageOS-devel] /dev/net/tun on Cubieboard2

Having just got tap to work on ubuntu,trusty,am64, I have just tried to do the same on the Cubieboard2 and it seems that I'm unable to actually create /dev/net/tun. If I do the following: sudo mkdir /dev/net sudo mknod /dev/net/tun c 10 200 sudo chmod 0666 /dev/net/tun sudo modprobe tun gives

Re: [MirageOS-devel] Mirage OS 2.4 errors on install and mirage-skeleton build

OK, to add the tap on ubuntu trusty amd64, you need tunctl, which is loaded using: sudo apt-get install uml-utilities runnning: 'tunctl' followed by 'sudo ifconfig tap0 192.168.1.2 netmask 255.255.255.0' will do the trick. But I guess you knew all of this ;)

Re: [MirageOS-devel] Mirage OS 2.4 errors on install and mirage-skeleton build

Ah, without wishing to hijack this thread, I've noticed that my mistake is not setting up tap0; so doing a: sudo ifconfig tap0 192.168.1.2 netmask 255.255.255.0 gives a: SIOCSIFADDR: No such device tap0: ERROR while getting interface flags: No such device Surely this should simply create the d

Re: [MirageOS-devel] Mirage OS 2.4 errors on install and mirage-skeleton build

I don't know if this is related, but I also got, just a few hours ago, a similar error running mirage-mdns on xen 4.4.1, ubuntu trusty, amd64: sudo xl create -c mdns-resp-test.xl [sudo] password for nick: Parsing config from mdns-resp-test.xl Xen Minimal OS! start_info: 0030d000(VA

Re: [MirageOS-devel] Timer library

Apologies - I'm just creating noise here. Still looking for a decent scheduler - it looks as though the Async one is just for unix. From: buzzheavyy...@hotmail.com To: mirageos-devel@lists.xenproject.org Date: Thu, 23 Apr 2015 12:45:45 + Subject: Re: [MirageOS-devel] Timer library OK - Co

Re: [MirageOS-devel] Timer library

OK - Core.Scheduler should do just fine! From: buzzheavyy...@hotmail.com To: mirageos-devel@lists.xenproject.org Date: Thu, 23 Apr 2015 12:00:41 + Subject: [MirageOS-devel] Timer library Hi, Can anyone recommend a good Timer library to use with mirage - I need it for firing off events -

[MirageOS-devel] Timer library

Hi, Can anyone recommend a good Timer library to use with mirage - I need it for firing off events - add, stop, start, stop, pause, one-off, cyclic etc. Thanks, Nick ___ MirageOS-devel mailing list MirageOS-dev

Re: [MirageOS-devel] Irmin API newbie questions

> > Note: it's probably worth removing "Irmin inside the browser" from the > Pioneer Projects list now. It's working fine (with HTML5 storage). > Getting it to work is just a case of modifying Irmin to use Daniel > Bünzli's pure-OCaml implementation of SHA-1 and implementing a few JS > helpers fo