philtor has quit [Ping timeout: 240 seconds]
rgrinberg has joined #mirage
philtom has quit [Ping timeout: 246 seconds]
brson has quit [Quit: leaving]
philtom has joined #mirage
tlockney_away is now known as tlockney
rgrinberg has quit [Quit: Leaving.]
avsm has joined #mirage
philtom has quit [Ping timeout: 276 seconds]
Sizur has joined #mirage
<Sizur> HI all!
tlockney is now known as tlockney_away
<Sizur> I anybody using Osigen on Mirage yet?
<Sizur> Ocsigen*
miragebot has joined #mirage
miragebot has left #mirage [#mirage]
<miragebot> [mirage] avsm pushed 9 new commits to master: http://git.io/OUxl-A
<miragebot> mirage/master ac257f3 Anil Madhavapeddy: Add a Conduit configuration to initalize `Conduit_mirage`
<miragebot> mirage/master cb8ab7c Anil Madhavapeddy: Adapt Conduit code generation to improve interfaces
<miragebot> mirage/master 315fd50 Anil Madhavapeddy: Turn TCPv4 into a real FLOW by including the module within it....
miragebot has joined #mirage
<miragebot> mirage/master 8c35c26 Magnus Skjegstad: Added space to cmdline so it is not ignored by libvirt
miragebot has left #mirage [#mirage]
<miragebot> [mirage] avsm pushed 4 new commits to master: http://git.io/s9adpg
<miragebot> mirage/master 670468e Magnus Skjegstad: Added libvirt .xml config to configure
<miragebot> mirage/master ea0b76b Magnus Skjegstad: Update CHANGES
miragebot has joined #mirage
<miragebot> [mirage] avsm pushed 3 new commits to master: http://git.io/BMWfjg
<miragebot> mirage/master 41003ca Petter Urkedal: Fix determination of mirage-xen location....
<miragebot> mirage/master e3bc40d Anil Madhavapeddy: Merge branch 'fix-mirage-xen-location' of git://github.com/paurkedal/mirage
<miragebot> mirage/master a2b4d89 Anil Madhavapeddy: sync CHANGES
miragebot has left #mirage [#mirage]
miragebot has joined #mirage
<miragebot> [mirage] avsm pushed 2 new commits to master: http://git.io/zw59Sw
<miragebot> mirage/master cbda378 Anil Madhavapeddy: Merge branch 'master' of github.com:mirage/mirage
<miragebot> mirage/master 546b68a Anil Madhavapeddy: use mirage-dev opam remote for tests
miragebot has left #mirage [#mirage]
rgrinberg has joined #mirage
avsm has quit [Quit: Leaving.]
rgrinberg has quit [Quit: Leaving.]
hhugo has joined #mirage
chambart has joined #mirage
dbuenzli has joined #mirage
dbuenzli has quit [Client Quit]
thomasga has joined #mirage
dbuenzli has joined #mirage
hhugo has quit [Quit: Leaving.]
englishm has quit [Ping timeout: 264 seconds]
hhugo has joined #mirage
thomasga has quit [Quit: Leaving.]
hhugo has quit [Quit: Leaving.]
andreas has quit [Ping timeout: 240 seconds]
hhugo has joined #mirage
thomasga has joined #mirage
avsm has joined #mirage
chambart has quit [Ping timeout: 260 seconds]
thomasga has quit [Quit: Leaving.]
andreas has joined #mirage
thomasga has joined #mirage
djs55 has joined #mirage
djs55 has quit [Remote host closed the connection]
djs55 has joined #mirage
jonludlam has quit [Read error: Connection reset by peer]
dbuenzli has quit [Quit: Leaving.]
thomasga has quit [Quit: Leaving.]
AltGr has joined #mirage
englishm has joined #mirage
avsm has quit [Quit: Leaving.]
thomasga has joined #mirage
andreas1 has joined #mirage
andreas has quit [Read error: Connection reset by peer]
thomasga has quit [Quit: Leaving.]
chambart has joined #mirage
thomasga has joined #mirage
thomasga has quit [Client Quit]
jonludlam has joined #mirage
avsm has joined #mirage
dbuenzli has joined #mirage
dbuenzli has quit [Quit: Leaving.]
avsm has quit [Quit: Leaving.]
andreas2 has joined #mirage
andreas1 has quit [Read error: Connection reset by peer]
thomasga has joined #mirage
englishm has quit [Ping timeout: 260 seconds]
englishm has joined #mirage
dsheets has quit [Ping timeout: 245 seconds]
mort___ has joined #mirage
thomasga has quit [Quit: Leaving.]
rgrinberg has joined #mirage
thomasga has joined #mirage
noddy has quit [Ping timeout: 250 seconds]
avsm has joined #mirage
philtom has joined #mirage
hhugo has quit [Quit: Leaving.]
andreas2 has quit [Quit: Leaving.]
djs55 has quit [Quit: Leaving.]
tlockney_away is now known as tlockney
rgrinberg has quit [Quit: Leaving.]
rgrinberg has joined #mirage
<philtom> $ sudo xl create -c stackv4.xl
<philtom> Parsing config from stackv4.xl
<philtom> libxl: error: libxl_dom.c:35:libxl__domain_type: unable to get domain type for domid=2
<philtom> Unable to attach console
<philtom> meaning?
<hannes> philtom: see github, uncomment vif= line from stackv4.xl ?!
<philtom> oh, sorry, thought I had done that....
<hannes> (/me recently run into that as well ;)
<philtom> Yeah, that seems to have been the problem
<philtom> ok, so then that particular stackv4 example should listening at 10.0.0.2 right?
<hannes> depends on the config (in main.ml), also it outputs to its console (xl console stackv4)
<philtom> curl http://10.0.0.2 in another window should return the hello world message, I think
<philtom> Yes, main.ml has:
<philtom> mode = `IPv4 (Ipaddr.V4.of_string_exn "10.0.0.2",
<philtom> and in stackv4.xl it has:
<philtom> vif = [ 'bridge=br0' ]
<philtom> $ brctl show
<philtom> bridge name bridge id STP enabled interfaces
<philtom> br0 8000.02d908c0a687 no eth0
<philtom> vif3.0
<philtom> Is that the correct setup?
<hannes> that looks good to me
<philtom> Last part of output from the xl create -c stackv4.xl:
<philtom> sg:true gso_tcpv4:true rx_copy:true rx_flip:false smart_poll:false
<philtom> ARP: sending gratuitous from 10.0.0.2
<philtom> IP address: 10.0.0.2
<philtom> Manager: configuration done
djs55 has joined #mirage
<philtom> ifconfig shows:
<philtom> br0 Link encap:Ethernet HWaddr 02:d9:08:c0:a6:87
<philtom> inet addr:192.168.1.7 Bcast:192.168.1.255 Mask:255.255.255.0
<philtom> There's also a vif3.0 there:
<philtom> vif3.0 Link encap:Ethernet HWaddr fe:ff:ff:ff:ff:ff
<philtom> inet6 addr: fe80::fcff:ffff:feff:ffff/64 Scope:Link
rgrinberg1 has joined #mirage
<philtom> Shouldn't ifconfig show me something that has a 10.0.0.2 address?
<philtom> Anyway, when I do curl http://10.0.0.2 in another shell it just sits there.
<hannes> no, the linux doesn't know anything about that ip.
<philtom> ah, ok.
rgrinberg has quit [Ping timeout: 255 seconds]
<hannes> your routing is most likely incorrect.. route add -host 10.0.0.2 192.168.1.7 on your machine should get you going
<philtom> ah, that's probably it... I'll give that a try.
<philtom> Like this? $ sudo route add -host 10.0.0.2 192.168.1.7
<philtom> I get:
<philtom> SIOCADDRT: No such device
<philtom> Need a gw maybe?
<hannes> philtom: depends on your OS how the syntax of route is
<hannes> gateway should be the ip of the cubieboard dom0
<philtom> This is the prebuilt img for cubieboard2
<philtom> (is it essentially ubuntu 14.04?)
<hannes> philtom: ah, you try your curl on the cubieboard!?
<philtom> yes... is that a problem?
<hannes> philtom: maybe easiest would be to assign a 10.0.0.0/24 IP to the cubieboard dom0 then. or modify main.ml to use 192.168.1.XX instead of 10.0.0.2
<philtom> curl http://google.com seems to work
brson has joined #mirage
<hannes> philtom: ifconfig br0 add 10.0.0.1/24 should do the trick..
<philtom> $ sudo ifconfig br0 add 10.0.0.1/24
<philtom> 10.0.0.1/24: Unknown host
<hannes> otherwise the cubieboard sends packets to 10.0.0.2 via its default gateway, rather than locally
<philtom> I think I'll go with the idea of modifying main.ml to use 192.168.1.XX instead
<philtom> (for now anyway)
<hannes> yep
<philtom> so I'd probably want to make it 192.168.1.8 since the DOM0 is at 192.168.1.7
<hannes> (the route ... suggestion was under the assumption that you did curl from your laptop, instead of from the cubieboard)
<hannes> yes!
AltGr has left #mirage [#mirage]
<philtom> main.ml gets created, though, doesn't it? Should't I change it in the config.ml?
<philtom> (I don't see 10.0.0.2 in config.ml)
<hannes> it is generated by mirage configure, thus change it locally and run only mirage build (and _not_ mirage configure)
<philtom> actually, where does that 10.0.0.2 get set?
<philtom> hmm.. changed the address in main.ml... then did a build.. then sudo xl create -c stackv4.xl
<philtom> and got:
<philtom> libxl: error: libxl.c:319:libxl__domain_rename: domain with name "stackv4" already exists.
<philtom> libxl: error: libxl_create.c:743:initiate_domain_create: cannot make domain: -6
<philtom> so somewhere it still remembers the older one?
<hannes> sudo xl list
<hannes> sudo xl destroy stackv4
<philtom> Name ID Mem VCPUsStateTime(s)
<philtom> Domain-0 0 512 2 r----- 40.8
<philtom> stackv4 3 256 1 -b---- 0.3
<philtom> that's better.
<philtom> yep works!
<philtom> hannes: thanks for your help.
<philtom> But one nagging question: where does that 10.0.0.2 come from?
<philtom> oh, so it's hardcoded into mirage?
<hannes> you can most likely configure it somehow
<philtom> Can it be overridden in config.ml?
<hannes> for sure, somehow... you might need to read code, though
mort___ has quit [Ping timeout: 255 seconds]
<philtom> well, it should also be possible to setup a gateway between the 10.0.0.* and the 192.168.1.* as we discussed earlier, maybe I'll try that again as well.
<philtom> where does one put this "DHCP=1" ?
avsm has quit [Quit: Leaving.]
djs55 has quit [Ping timeout: 260 seconds]
<philtom> ah, got it, there are changes to the config.ml to use DHCP.
<philtom> let stack = direct_stackv4_with_dhcp default_console tap0 in
<philtom> has to become...
<philtom> let stack = direct_stackv4_with_dhcp default_console tap0 in
<philtom> That worked great.
djs55 has joined #mirage
chambart has quit [Ping timeout: 240 seconds]
rgrinberg1 has quit [Quit: Leaving.]
rgrinberg has joined #mirage
rgrinberg has quit [Client Quit]
thomasga has quit [Ping timeout: 272 seconds]
philtom has quit [Ping timeout: 260 seconds]
tlockney is now known as tlockney_away
rgrinberg has joined #mirage
rgrinberg has quit [Quit: Leaving.]
dsheets has joined #mirage
hhugo has joined #mirage
rgrinberg has joined #mirage
rgrinberg has quit [Quit: Leaving.]
hhugo has quit [Quit: Leaving.]
tlockney_away is now known as tlockney
hhugo has joined #mirage
chambart has joined #mirage
hhugo has quit [Quit: Leaving.]
andreas has joined #mirage
rgrinberg has joined #mirage
thomasga has joined #mirage
andreas has quit [Quit: Leaving.]
andreas has joined #mirage
rgrinberg has quit [Quit: Leaving.]
thomasga has quit [Client Quit]
philtom has joined #mirage
rgrinberg has joined #mirage
thomasga has joined #mirage
rgrinberg has quit [Quit: Leaving.]
rgrinberg has joined #mirage
dsheets has quit [Ping timeout: 245 seconds]
rgrinberg has quit [Quit: Leaving.]
rgrinberg has joined #mirage
_whitelogger has joined #mirage
_whitelogger has joined #mirage
thomasga has quit [Quit: Leaving.]
thomasga has joined #mirage
thomasga has quit [Client Quit]
englishm has quit [Remote host closed the connection]
englishm has joined #mirage
englishm has quit [Ping timeout: 255 seconds]
englishm has joined #mirage