#mirage on 2019-03-12 — irc logs at freenode.irclog.whitequark.org

2019-01-06 13:42 hannes changed the topic of #mirage to: https://mirage.io - bug cleaning day every first friday in month (14:00 UTC - late, next: Feb 1st) - next call Jan 9th 16:00 GMT https://github.com/mirage/mirage-www/wiki/Call-Agenda - this channel is logged at http://irclog.whitequark.org/mirage/ - MirageOS 3.3.1 is released - happy hacking!

00:15 <Drup> That's an interesting question

00:15 <Drup> but I would think you are going at this the wrong way

00:16 <Drup> because you can't compile unikernel.ml yourself, you don't know the right compilation flags and all that

00:17 <Drup> (consider the case where you are cross compiling for Xen ...)

00:19 <Drup> The right way would be to modify the build system to accomodate for malfunction, which is possible but is certainly going to be a bit difficult for a newcommer

06:03 Khady has quit [Ping timeout: 245 seconds]

06:03 Khady has joined #mirage

06:03 Khady has quit [Changing host]

06:03 Khady has joined #mirage

06:07 kensan has quit [Ping timeout: 246 seconds]

06:07 kensan has joined #mirage

06:08 Khady_ has joined #mirage

06:08 Khady has quit [Ping timeout: 246 seconds]

07:59 Haudegen has joined #mirage

08:00 djs55 has joined #mirage

08:23 djs55 has quit [Quit: Leaving.]

08:23 Khady_ has quit [Changing host]

08:23 Khady_ has joined #mirage

08:23 Khady_ is now known as Khady

09:12 mort___ has joined #mirage

10:00 <xqb16141> Drup: Thanks for the reply. You mean the `mirage build` command? Do you think dune could be used for this?

10:00 mort___1 has joined #mirage

10:00 mort___1 has quit [Client Quit]

10:01 <Drup> I think you will need to fiddle with the mirage tooling

10:02 mort___1 has joined #mirage

10:03 mort___ has quit [Ping timeout: 240 seconds]

10:47 mort___1 has left #mirage [#mirage]

11:10 mort___ has joined #mirage

11:24 _whitelogger has joined #mirage

11:28 mort___ has quit [Quit: Leaving.]

11:48 mort___ has joined #mirage

11:48 mort___ has quit [Client Quit]

11:49 mort___ has joined #mirage

12:36 Haudegen has quit [Remote host closed the connection]

12:54 mort___ has quit [Quit: Leaving.]

13:17 mort___ has joined #mirage

13:31 Haudegen has joined #mirage

13:36 mort___ has quit [Quit: Leaving.]

13:37 mort___ has joined #mirage

13:41 mort___ has quit [Client Quit]

13:41 mort___ has joined #mirage

13:41 mort___ has quit [Client Quit]

14:05 seliopou_ has joined #mirage

14:09 damjan_ has joined #mirage

14:09 lars_kurth_ has joined #mirage

14:09 lars_kurth has quit [*.net *.split]

14:09 damjan has quit [*.net *.split]

14:09 seliopou has quit [*.net *.split]

14:11 mort___ has joined #mirage

14:30 mort___ has quit [Quit: Leaving.]

14:47 mort___ has joined #mirage

14:50 mort___ has quit [Client Quit]

14:52 mort___ has joined #mirage

15:19 mort___ has quit [Quit: Leaving.]

15:26 xqb16141 has quit [Quit: WeeChat 2.4]

15:30 xqb16141 has joined #mirage

15:31 mort___ has joined #mirage

15:34 xqb16141 has quit [Client Quit]

15:53 AxiomaticEspress has joined #mirage

16:00 AxiomaticEspress has quit [Quit: WeeChat 2.4]

16:00 AxiomaticEspress has joined #mirage

16:05 mort___ has quit [Quit: Leaving.]

16:05 AxiomaticEspress has quit [Client Quit]

16:06 AxiomaticEspress has joined #mirage

16:16 AxiomaticEspress has quit [Quit: WeeChat 2.4]

16:17 AxiomaticEspress has joined #mirage

16:18 AxiomaticEspress has quit [Client Quit]

16:18 AxiomaticEspress has joined #mirage

16:18 mort___ has joined #mirage

16:26 AxiomaticEspress has quit [Quit: WeeChat 2.4]

16:27 AxiomaticEspress has joined #mirage

16:32 AxiomaticEspress has quit [Quit: WeeChat 2.4]

16:33 AxiomaticEspress has joined #mirage

16:42 Haudegen has quit [Remote host closed the connection]

17:09 AxiomaticEspress has quit [Quit: WeeChat 2.4]

17:10 AxiomaticEspress has joined #mirage

17:17 AxiomaticEspress has quit [Quit: WeeChat 2.4]

17:17 AxiomaticEspress has joined #mirage

17:38 mort___ has quit [Quit: Leaving.]

17:53 djs55 has joined #mirage

17:53 Haudegen has joined #mirage

18:25 djs55 has quit [Quit: Leaving.]

18:25 djs55 has joined #mirage

18:25 djs55 has quit [Client Quit]

18:25 djs55 has joined #mirage

18:26 djs55 has quit [Client Quit]

18:26 djs55 has joined #mirage

18:26 djs55 has quit [Client Quit]

18:26 djs55 has joined #mirage

18:27 djs55 has quit [Client Quit]

18:27 djs55 has joined #mirage

18:27 djs55 has quit [Client Quit]

18:27 djs55 has joined #mirage

18:27 djs55 has quit [Client Quit]

18:27 djs55 has joined #mirage

18:27 djs55 has quit [Client Quit]

18:28 djs55 has joined #mirage

18:28 djs55 has quit [Client Quit]

18:28 djs55 has joined #mirage

18:28 djs55 has quit [Client Quit]

18:28 djs55 has joined #mirage

18:28 djs55 has quit [Client Quit]

18:29 djs55 has joined #mirage

18:29 djs55 has quit [Client Quit]

18:29 djs55 has joined #mirage

18:29 djs55 has quit [Client Quit]

18:29 djs55 has joined #mirage

18:29 djs55 has quit [Client Quit]

18:30 djs55 has joined #mirage

18:30 djs55 has quit [Client Quit]

18:30 djs55 has joined #mirage

18:30 djs55 has quit [Client Quit]

18:30 djs55 has joined #mirage

18:30 djs55 has quit [Client Quit]

18:31 djs55 has joined #mirage

18:31 djs55 has quit [Client Quit]

18:31 djs55 has joined #mirage

18:31 djs55 has quit [Client Quit]

18:31 djs55 has joined #mirage

18:31 djs55 has quit [Client Quit]

18:55 mort___ has joined #mirage

18:58 mort___ has quit [Client Quit]

21:01 AxiomaticEspress has quit [Quit: WeeChat 2.4]

21:01 AxiomaticEspress has joined #mirage

21:09 AxiomaticEspress has quit [Quit: WeeChat 2.4]

21:10 AxiomaticEspress has joined #mirage

21:12 AxiomaticEspress has quit [Client Quit]

21:12 AxiomaticEspress has joined #mirage

21:16 Haudegen has quit [Remote host closed the connection]

21:42 Guest69559 has joined #mirage

21:47 Guest69559 has quit [Read error: Connection reset by peer]

21:49 Haudegen has joined #mirage

23:40 Haudegen has quit [Remote host closed the connection]