#mirage on 2014-07-20 — irc logs at freenode.irclog.whitequark.org

00:30 jprakash has joined #mirage

02:20 jprakash has quit [Ping timeout: 240 seconds]

03:04 jprakash has joined #mirage

03:04 jprakash has quit [Client Quit]

03:07 philtor_ has joined #mirage

03:21 philtor_ has quit [Ping timeout: 260 seconds]

04:06 adsisco_ has joined #mirage

04:17 englishm has joined #mirage

05:38 tlockney is now known as tlockney_away

07:41 englishm_ has joined #mirage

07:44 englishm has quit [Ping timeout: 264 seconds]

08:35 hannes has quit [Ping timeout: 264 seconds]

08:42 djs55 has joined #mirage

08:47 NoNNaN has quit [Ping timeout: 264 seconds]

08:54 hannes has joined #mirage

08:59 hannes has quit [Ping timeout: 255 seconds]

09:17 adsisco_ has quit [Quit: Connection closed for inactivity]

09:17 hannes has joined #mirage

09:22 hannes has quit [Ping timeout: 250 seconds]

09:24 hannes has joined #mirage

09:28 hannes has quit [Ping timeout: 260 seconds]

09:33 hannes has joined #mirage

09:45 hannes has quit [Ping timeout: 245 seconds]

09:50 hannes has joined #mirage

10:56 mcclurmc has joined #mirage

11:07 jerith has quit [Quit: leaving]

11:10 jerith has joined #mirage

11:15 mcclurmc has quit [Remote host closed the connection]

12:31 dsheets has joined #mirage

12:46 dsheets has quit [Ping timeout: 245 seconds]

12:46 dsheets has joined #mirage

13:39 dsheets has quit [Ping timeout: 260 seconds]

13:39 dsheets has joined #mirage

13:41 adsisco_ has joined #mirage

13:47 dsheets has quit [Ping timeout: 255 seconds]

13:47 dsheets has joined #mirage

13:52 dsheets has quit [Ping timeout: 264 seconds]

13:53 dsheets has joined #mirage

14:17 dsheets has quit [Ping timeout: 250 seconds]

14:18 dsheets has joined #mirage

14:24 dsheets has quit [Ping timeout: 250 seconds]

14:25 dsheets has joined #mirage

14:25 englishm_ has quit [Read error: Connection reset by peer]

14:26 englishm has joined #mirage

14:39 englishm has quit [Read error: Connection reset by peer]

15:46 dsheets has quit [Ping timeout: 260 seconds]

15:46 philtor has joined #mirage

15:58 philtor has quit [Ping timeout: 255 seconds]

16:02 philtor has joined #mirage

16:22 philtor has quit [Ping timeout: 240 seconds]

16:37 englishm has joined #mirage

16:38 englishm_ has joined #mirage

16:42 englishm has quit [Ping timeout: 240 seconds]

16:43 philtor has joined #mirage

17:01 englishm has joined #mirage

17:29 philtor has quit [Ping timeout: 256 seconds]

17:33 tlockney_away is now known as tlockney

17:37 <englishm_> Just getting started with Mirage (and with OCaml) - is anyone else doing Mirage development on OS X?

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

17:38 englishm_ is now known as englishm

17:38 philtor has joined #mirage

17:39 <hannes> englishm: several are. (such as thoma, avsm, ..) - just fire a message to the mailing list if you encounter any issues

17:39 <englishm> I'm starting to realize that it's probably a lot easier to work when your dev machine also serves as dom0

17:42 <englishm> OK, thanks. I don't have any specific questions yet. Just trying to get a sense of what kind of workflow makes the most sense.

17:42 <hannes> englishm: I personally develop on FreeBSD, and use the unix backend

17:45 <englishm> OK. I was able to build and try out the static-webpage demo that way, but I'm not able to build the the actual Xen unikernels on here.

17:45 <englishm> Do you mostly just use the unix backend, then?

17:45 <hannes> yes

17:46 <hannes> you can still chose to use either a socket or a direct (ocaml tcp/ip stack)

17:51 djs55 has quit [Quit: Leaving.]

17:57 <englishm> Right. What's your workflow when you want to deploy something to Xen then?

17:57 <englishm> Do you just use Travis or some other build system to build the unikernel image?

18:04 djs55 has joined #mirage

18:08 <hannes> so far I didn't. I'd setup a virtualbox with a xen dom0 I think

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

18:13 <englishm> OK, that's what I was starting to look into doing, too.

18:13 <englishm> Thanks!

18:47 adsisco_ has quit [Quit: Connection closed for inactivity]

18:54 dsheets has joined #mirage

19:00 tlockney is now known as tlockney_away

19:31 philtor has quit [Ping timeout: 260 seconds]

19:32 djs55 has joined #mirage

20:15 tlockney_away is now known as tlockney

20:17 tlockney is now known as tlockney_away

20:38 tlockney_away is now known as tlockney

20:41 tlockney is now known as tlockney_away

20:43 philtor has joined #mirage

21:04 englishm has quit [Ping timeout: 255 seconds]

21:05 djs55 has quit [Quit: Leaving.]

21:26 philtor has quit [Ping timeout: 250 seconds]

21:43 philtor has joined #mirage

21:53 philtor has quit [Ping timeout: 260 seconds]

21:54 philtor has joined #mirage

21:58 djs55 has joined #mirage

22:08 philtor has quit [Ping timeout: 245 seconds]

22:09 philtor has joined #mirage

22:17 mort___ has joined #mirage

22:17 djs55 has quit [Quit: Leaving.]

22:40 philtor has quit [Ping timeout: 255 seconds]

22:49 tlockney_away is now known as tlockney

22:57 englishm has joined #mirage

22:57 englishm_ has joined #mirage

23:01 englishm has quit [Ping timeout: 240 seconds]

23:03 philtor has joined #mirage

23:11 philtor has quit [Ping timeout: 245 seconds]

23:21 philtor has joined #mirage

23:52 tlockney is now known as tlockney_away

23:56 philtor has quit [Ping timeout: 260 seconds]