avsm changed the topic of #mirage to: mirage 2 released! party on!
brson has quit [Ping timeout: 240 seconds]
tomboy64 has joined #mirage
seangrove has quit [Read error: Connection reset by peer]
yomimono has joined #mirage
andreas231 has joined #mirage
andreas23 has quit [Ping timeout: 272 seconds]
copy` has quit [Quit: Connection closed for inactivity]
rgrinberg has quit [Ping timeout: 276 seconds]
insitu has joined #mirage
insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
insitu has joined #mirage
andreas231 has quit [Quit: Leaving.]
dexterph has joined #mirage
andreas23 has joined #mirage
srenatus has joined #mirage
mort___ has joined #mirage
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
mort___ has quit [Quit: Leaving.]
ijc_ has joined #mirage
mort___ has joined #mirage
mort___ has quit [Client Quit]
mort___ has joined #mirage
jermar has quit [*.net *.split]
ijc has quit [*.net *.split]
danielh1234 has joined #mirage
<danielh1234> Hi. When I make an HTTP request to "http://10.0.0.2:8080", the resolver actually tries to resolve the "hostname". How can I get it to recognize it already has the IP address?
insitu has quit [Ping timeout: 276 seconds]
insitu has joined #mirage
<hannes> danielh1234: try asking on mirageos-devel...
<danielh1234> hannes: ok, thanks
<hannes> danielh1234: somewhere deep inside of conduit I believe is the resolve code... not sure what your example is based upon...
<hannes> danielh1234: a (not-so-much HTTP) example not doing resolving is at https://github.com/mirleft/ocaml-tls/blob/master/mirage/example/unikernel.ml#L83-L127 in case that helps..
<danielh1234> hannes: it is based on the http-fetch example from skeleton, I think I will try to write a resolver or combine your example (thanks ;) with the manual part of http-fetch.
<hannes> danielh1234: the conduit library (https://github.com/mirage/ocaml-conduit) contains the resolver, it might just need some handling for raw ip addresses...
<hannes> which would be great to have fixed in any case ;)
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
betheynyx has joined #mirage
insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
hnrgrgr_ has quit [Ping timeout: 272 seconds]
hnrgrgr has joined #mirage
Leonidas has quit [Read error: Connection reset by peer]
Leonidas has joined #mirage
yomimono has quit [Ping timeout: 276 seconds]
mort___ has quit [Ping timeout: 272 seconds]
rgrinberg has joined #mirage
insitu has joined #mirage
agarwal1975 has joined #mirage
<Drup> hannes: will you take a shot at writing the combinator ? :p
<hannes> Drup: I will. unclear whether I'll be able to make it today.
<hannes> Drup: and "combinator" just boils down to sth like base_configurable, but with module_name (and other things) being set to defaults!?
<Drup> hannes: hum, actually, I would really say a combinator
<hannes> Drup: I struggle with the term 'combinator'... would be useful if you could elaborate on e.g. some type signature you have in mind (I'd think of val shel : ?configure:(Info.t -> result) -> ?clean:(Info.t -> result) -> ??
<Drup> the return type would be either "job impl" or "config impl" (with config a new type)
<Drup> you probably need a name somewhere
<Drup> so, "?configure:(Info.t -> result) -> ?clean:(Info.t -> result) -> string -> config impl" or something like that
<Drup> this type is not specific to shell, but maybe you want something specific ? That's to be discussed
mort___ has joined #mirage
<hannes> Drup: would be great if you could paste your comments in the issue.. I'm not sure when I'll find time..
insitu has quit [Ping timeout: 276 seconds]
insitu has joined #mirage
mort___ has quit [Quit: Leaving.]
danielh1234 has quit [Quit: Page closed]
mort___ has joined #mirage
mort___ has quit [Client Quit]
mort___ has joined #mirage
mort___ has quit [Client Quit]
insitu has quit [Ping timeout: 244 seconds]
insitu has joined #mirage
lars_kurth_ has quit [Remote host closed the connection]
lars_kurth has joined #mirage
mort___ has joined #mirage
insitu has quit [Ping timeout: 246 seconds]
insitu has joined #mirage
Meeh_ has joined #mirage
Meeh has quit [Ping timeout: 244 seconds]
AltGr has joined #mirage
andreas23 has quit [Quit: Leaving.]
mort___ has quit [Quit: Leaving.]
insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<mato> hannes: I see you're testing Solo5, thanks for the PR. Will merge unless you want to add more?
<hannes> mato: not in there
insitu has joined #mirage
<hannes> mato: why you have os = linux in all the things?
<hannes> (also stddef.h here depends on sys/cdefs.h , sys/_types.h machine/_types.h x86/_types.h (I copied them over atm to get something going))
<mato> hannes: There are undoubtedly various Linux-isms scattered all over.
<hannes> weeeeeeeeeee
mort___ has joined #mirage
<mato> hannes: Not intentional.
<hannes> mato: (also, another nice thing would be to get it going with clang) ;)
<hannes> mato: no worries, I've some years of experience getting rid of GNUisms ;)
<mato> hannes: clang will be hard, due to the ocaml-freestanding and other pieces of Mirage using gcc all in many places. I'd not go that way right now.
<hannes> same here. well, the vanilla ocaml on my system uses clang.. (but I see you depend on libgcc.a... which I'm not sure there's a clang replacement for)
<hannes> I'll first try the adventure with gcc4.8
<mato> hannes: Re stddef.h, that will be some artifact of FreeBSD's GCC build. I'm afraid I don't have any good ideas for a fix...
<hannes> mato: it's similar to what I encountered when trying to build this mirage-xen-minios... no worries for now... I guess the solution would be to distribute your own header files (which is painful)
<mato> libgcc.a can be replaced with e.g. libcompiler_rt as we do in rumprun. In fact, I'm not 100% sure we need libgcc.a in Solo5/ocaml-freestanding at all since everything is compiled with -ffreestanding.
dexterph has quit [Ping timeout: 244 seconds]
<mato> However, one step at a time. Start with the simplest strategry to make things work :)
<hannes> +1 the amd64 mirage xen does _not_ need it (see https://github.com/mirage/mirage/pull/544 and discussion in there), on arm it is needed though
<hannes> yes
<hannes> (only targeting virtio, not ukvm... there are likely more gcc/make thingies around..)
<mato> sure, ukvm is Linux-only by nature. However it doesn't hurt to use $(CC) and $(MAKE) all over.
copy` has joined #mirage
tomboy65 has joined #mirage
tomboy64 has quit [Ping timeout: 244 seconds]
<Drup> ah, I see you added the target in the mirage tool, it look like it went well
mort___ has quit [Quit: Leaving.]
<hannes> hmm... when linking asmrun lots of undefined refs caml_last_return_address etc. ...
<mato> that is definitely not normal :)
<mato> you may need to compare the config/* stuff generated by a native ocaml build on freebsd and that used by ocaml-freestanding, there may be some mismatches
<hannes> no, I'll trace the usual caml build process here and see what's different
<hannes> exactly!
<mato> ocaml-freestanding just uses whatever mirage-xen-ocaml used...
<hannes> ..which only ever compiled on linux..
<hannes> yay
insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
AltGr has left #mirage [#mirage]
AltGr has joined #mirage
brson has joined #mirage
AltGr has left #mirage [#mirage]
insitu has joined #mirage
AltGr has joined #mirage
jermar has joined #mirage
<hannes> mato: around? I now have a .virtio, and generated an .iso... but my grub2-byve complains about error: invalid magic number.
AltGr has left #mirage [#mirage]
insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
djs55 has quit [Quit: Leaving.]
StrykerKKD has joined #mirage
srenatus has quit [Quit: Connection closed for inactivity]
dexterph has joined #mirage
insitu has joined #mirage
insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
insitu has joined #mirage
insitu has quit [Ping timeout: 264 seconds]
dexterph has quit [Ping timeout: 250 seconds]
vpm has quit [Quit: co'o]
mort___ has joined #mirage
jmiven has joined #mirage
jmiven has quit [Client Quit]
jmiven has joined #mirage
dexterph has joined #mirage
mort___ has left #mirage [#mirage]
dexterph has quit [Ping timeout: 244 seconds]
mort___ has joined #mirage
mort___ has quit [Client Quit]
agarwal1975 has quit [Quit: agarwal1975]
agarwal1975 has joined #mirage
jermar has quit [Remote host closed the connection]
brson has quit [Quit: leaving]
StrykerKKD has quit [Quit: Leaving]