avsm changed the topic of #mirage to: mirage 2 released! party on!
thomasga has quit [Quit: Leaving.]
tlockney_away is now known as tlockney
AltGr has joined #mirage
jonludlam has quit [Ping timeout: 264 seconds]
tlockney is now known as tlockney_away
brson has quit [Quit: leaving]
tlockney_away is now known as tlockney
rgrinberg has quit [Ping timeout: 255 seconds]
boogie has quit [Remote host closed the connection]
rgrinberg has joined #mirage
kdef has joined #mirage
kdef has quit [Client Quit]
seangrove has quit [Remote host closed the connection]
seangrove has joined #mirage
dsheets has quit [Ping timeout: 265 seconds]
seangrove has quit [Ping timeout: 256 seconds]
kdef has joined #mirage
kdef has quit [Remote host closed the connection]
rgrinberg1 has joined #mirage
rgrinberg has quit [Ping timeout: 252 seconds]
kdef has joined #mirage
rgrinberg1 is now known as rgrinberg
yomimono has quit [Ping timeout: 245 seconds]
MrScout has quit [Ping timeout: 265 seconds]
JuggleTux has quit [Ping timeout: 256 seconds]
JuggleTux has joined #mirage
boogie has joined #mirage
tlockney is now known as tlockney_away
kdef has quit [Quit: Leaving]
mort___ has joined #mirage
mort___ has quit [Client Quit]
boogie has quit [Remote host closed the connection]
Kensan has quit [Ping timeout: 246 seconds]
Kensan has joined #mirage
rgrinberg has quit [Ping timeout: 250 seconds]
avsm has joined #mirage
ronny has joined #mirage
<ronny>
hi
<ronny>
are there any plasn to support virtualization/containers other than xen
<avsm>
ronny: yep, via rump kernels
<ronny>
looks interesting
<ronny>
lovely
<ronny>
i'll stick around and play on occasionn
rgrinberg has joined #mirage
thomasga has joined #mirage
rgrinberg has quit [Ping timeout: 252 seconds]
avsm has quit [Quit: Leaving.]
<Kensan>
I read in the blog post dated Dec 31 under Upcoming features->Portability that work is going on wrt. these ports. Is there any more information available or could anybody provide pointers where development of these projecs happen?
<ronny>
Kensan: i suspect its related to the rump kernel support avsm mentioned, those run on various platforms including linux, bsd virtualenbox and more
<Kensan>
ronny: Yes indeed. I want to get a better idea of what exactly is necessary to port mirage to a different platform.
<ronny>
well, im completely new here, i cant even write ocaml fluently yet ^^
larhat has joined #mirage
miragebot has joined #mirage
<miragebot>
[mirage] samoht pushed 3 new commits to master: http://git.io/hphe
<miragebot>
mirage/master 31944c6 Thomas Leonard: Added support for Conduit with TLS...
<miragebot>
mirage/master b1f30ac Thomas Gazagnaire: Update CHANGES
<miragebot>
mirage/master d52f6bb Thomas Gazagnaire: Merge pull request #390 from samoht/master...
miragebot has left #mirage [#mirage]
yomimono has joined #mirage
miragebot has joined #mirage
<miragebot>
[mirage] samoht pushed 7 new commits to master: http://git.io/hhJk
<miragebot>
mirage/master fd10b45 Mindy Preston: Add time parameter to ipv4 and stackv4 creators.
<miragebot>
mirage/master a87a93e Mindy Preston: Merge branch 'master' of http://github.com/mirage/mirage into time_in_ipv4...
<miragebot>
mirage/master 1cdaca1 Mindy Preston: provide clock module to ipv4
miragebot has left #mirage [#mirage]
avsm has joined #mirage
avsm has quit [Client Quit]
avsm has joined #mirage
rgrinberg has joined #mirage
rgrinberg has quit [Ping timeout: 244 seconds]
AltGr has left #mirage [#mirage]
yiannis_t has joined #mirage
andreas1 has joined #mirage
miragebot has joined #mirage
<miragebot>
[mirage] samoht pushed 3 new commits to master: http://git.io/hhZX
<miragebot>
mirage/master 06e83e4 Thomas Gazagnaire: Add release runes
<miragebot>
mirage/master 0b51d4e Thomas Gazagnaire: Update CHANGES
miragebot has left #mirage [#mirage]
<miragebot>
mirage/master a7bfded Thomas Gazagnaire: Merge pull request #391 from samoht/master...
<nate_prime>
i've executed that in a separate terminal while it's trying to configure the network but it doesn't seem to change the outcome
<nate_prime>
plugging into tap0 with mac c2:9d:56:19:d7:2c..
<nate_prime>
Netif: connect tap0
<nate_prime>
Manager: connect
<nate_prime>
Manager: configuring
<nate_prime>
DHCP: start discovery
<nate_prime>
Sending DHCP broadcast (length 552)
<nate_prime>
DHCP: start discovery
<nate_prime>
Sending DHCP broadcast (length 552)
<nate_prime>
DHCP: start discovery
<nate_prime>
Sending DHCP broadcast (length 552)
<nate_prime>
DHCP: start discovery
<nate_prime>
Sending DHCP broadcast (length 552)
<nate_prime>
DHCP: start discovery
<thomasga1>
vbmithr: let the user apply the functor Request and such and just let it provides a full cohttp implementation
<thomasga1>
nate_prime: do you have a DHCP server?
<thomasga1>
if you have configured a static IP this should not happen
<thomasga1>
check your configuration to be sure you are using a static ip
<nate_prime>
I do not think I have a DHCP server running unless Mavericks includes that
<nate_prime>
should I be running the "mirage configure" step w/ static on?
<thomasga1>
you should either run a DHCP server (should be on if you share your connection on mavericks) or set up a static IP address
<nate_prime>
what do you mean by "share your connection"?
<nate_prime>
so in my system preferences/network/wi-fi/tcp/ip, it has configuration of IPv4 set to "using DHCP"
<avsm1>
nate_prime: if you're on Mavericks it's static ip only, so compile the unikernel with DHCP=0
<nate_prime>
avsm1: curiously that still puts the DHCP setting into the generated main.ml file
<nate_prime>
just to confirm, my command should be: "env DHCP=0 mirage configure --unix"?
<avsm1>
just don't include the DHCP
<avsm1>
it depends on your config.ml — just hunt through it to see what it does with the DHCP environment variable
<nate_prime>
eek, it looks like I was not reading how it was set up closely. seems like it may now be working
<nate_prime>
last output from configuration should be: "Manager: configuration done" ?
larhat has joined #mirage
larhat has quit [Quit: Leaving.]
rgrinberg has quit [Ping timeout: 256 seconds]
nate_prime has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
nate_prime has joined #mirage
<vbmithr>
19:05 < avsm1> hm, I'm not happy with the Cohttp 0.16 post_form being a (string * string list) list
<vbmithr>
19:06 < avsm1> much easier as a (string * string) list
<vbmithr>
agree with this.
<vbmithr>
Why changing this ?
<avsm1>
vbmithr: it used to be Cohttp.Header.t which is a string*stringlist list
<avsm1>
i think i'll change it to a string*string) list before 0.16
<avsm1>
Header.of_list supports multi-value keys
<avsm1>
but i dont think forms do
thomasga1 has quit [Quit: Leaving.]
rgrinberg has joined #mirage
<vbmithr>
Yeah, I've managed to solve my problem btw :)
<vbmithr>
avsm1: ok.
boadie has quit [Remote host closed the connection]
jonludlam has joined #mirage
<avsm1>
vbmithr: cool; I'll try to fold in some simple Async/Lwt-free client for web APIs by looking at yours
<avsm1>
will have more hacking time from next week. multiple paper deadlines recently :(
brson has quit [Ping timeout: 245 seconds]
nate_prime has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
<vbmithr>
avsm1: ok.
thomasga has joined #mirage
jonludlam has quit [Ping timeout: 244 seconds]
<vbmithr>
My simple approach was just to functorize my API code over a functor that includes both get/post customized functions and the Cohttp.S.IO monad
<vbmithr>
So I just have to implement an API_Lwt module that includes Cohttp_lwt_unix_io, and uses Lwt
boadie has joined #mirage
yomimono has joined #mirage
boadie has quit [Remote host closed the connection]
nate_prime has joined #mirage
brson has joined #mirage
boadie has joined #mirage
boadie has quit [Client Quit]
<Kensan>
I looked around a bit to find further infos about the rumpkernel/mirage work but did not come up with much. Could anybody provide further pointers?
thomasga has quit [Quit: Leaving.]
thomasga has joined #mirage
avsm1 has quit [Quit: Leaving.]
jonludlam has joined #mirage
thomasga has quit [Quit: Leaving.]
andreas has joined #mirage
avsm has joined #mirage
gperetin has quit [*.net *.split]
gperetin has joined #mirage
tlockney is now known as tlockney_away
MrScout has quit [Ping timeout: 265 seconds]
MrScout has joined #mirage
seangrove has joined #mirage
seangrove has quit [Ping timeout: 255 seconds]
rgrinberg has quit [Ping timeout: 250 seconds]
avsm has quit [Quit: Leaving.]
avsm has joined #mirage
avsm has quit [Client Quit]
boogie has quit [Remote host closed the connection]
rgrinberg has joined #mirage
brson has quit [Quit: leaving]
MrScout has quit [Remote host closed the connection]
MrScout has joined #mirage
boogie has joined #mirage
thomasga1 has joined #mirage
avsm has joined #mirage
nate_prime has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
nate_prime has joined #mirage
noddy has quit [Ping timeout: 265 seconds]
seangrove has joined #mirage
noddy has joined #mirage
seangrove has quit [Ping timeout: 246 seconds]
brson has joined #mirage
<avsm>
thomasga1: why merge conduit0.8?
<avsm>
it breaks mirage-www or any of the website examples