avsm changed the topic of #mirage to: mirage 2 released! party on!
brson has quit [Remote host closed the connection]
MrScout has joined #mirage
dsheets has quit [Ping timeout: 246 seconds]
MrScout has quit [Ping timeout: 244 seconds]
Meeh has quit [Read error: Connection reset by peer]
Meeh has joined #mirage
MrScout has joined #mirage
seangrove has joined #mirage
oskarth has quit [Ping timeout: 244 seconds]
oskarth has joined #mirage
oskarth has quit [Ping timeout: 245 seconds]
oskarth has joined #mirage
rgrinberg1 has quit [Ping timeout: 245 seconds]
MrScout has quit [Ping timeout: 246 seconds]
rgrinberg1 has joined #mirage
nullcat has joined #mirage
rgrinberg1 has quit [Ping timeout: 260 seconds]
mort___ has joined #mirage
yomimono has joined #mirage
jonludlam has joined #mirage
jonludlam has quit [Remote host closed the connection]
dsheets has joined #mirage
jonludlam has joined #mirage
mato has joined #mirage
rgrinberg1 has joined #mirage
rgrinberg1 has quit [Ping timeout: 240 seconds]
jonludlam has quit [Ping timeout: 246 seconds]
jonludlam has joined #mirage
seangrove has quit [Remote host closed the connection]
rgrinberg1 has joined #mirage
rgrinberg1 has quit [Ping timeout: 244 seconds]
mort___1 has joined #mirage
mort___ has quit [Ping timeout: 246 seconds]
mort___1 has quit [Quit: Leaving.]
rgrinberg1 has joined #mirage
rgrinberg1 has quit [Ping timeout: 240 seconds]
mort___ has joined #mirage
rgrinberg1 has joined #mirage
nullcat has quit [Read error: Connection reset by peer]
nullcat has joined #mirage
nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
MrScout has joined #mirage
nullcat has joined #mirage
MrScout has quit [Ping timeout: 246 seconds]
rgrinberg1 has quit [Ping timeout: 245 seconds]
rgrinberg1 has joined #mirage
seangrove has joined #mirage
mort___ has quit [Ping timeout: 246 seconds]
yomimono has quit [Ping timeout: 245 seconds]
MrScout has joined #mirage
nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
<
haesbaert>
what is the module that represents a network interface ?
<
haesbaert>
I'm a bit lost, is it possible to not want a mirage stack and just a network interface ? so that I can send/recv raw packets ?
<
Drup>
You have the tcp and udp modules
<
haesbaert>
but say I want to build the full frame
<
Drup>
then why not use the stack ?
<
haesbaert>
ah awesome, that would be indeed
<
haesbaert>
I'm a bit lost, just started to build the unikernels, the ETHIF is something I can pass to the Main module ?
<
haesbaert>
as I can pass a console or a stack.
<
mattg>
That's building up a stack "manually"
<
haesbaert>
so I derive an ETHIF from a NETWORK
<
Drup>
well, it's derived for you
<
haesbaert>
in that example, config.ml is something like:
<
haesbaert>
register "ethifv4" [
<
haesbaert>
main $ default_console $ tap0 $ default_clock
<
haesbaert>
tap0 becomes a NETWORK I suppose ?
<
haesbaert>
ahh I get it, "ethifv4" is a special keyword
<
Drup>
No, it's not a special keyword
<
Drup>
and yes, the "tap0" combinator is defined inside mirage
<
mattg>
I think it's also possible to pass an ETHIF into the unikernel, rather than a NETWORK, and use the mirage combinators to construct that
<
haesbaert>
passing the NETWORK should be fine, it's not a requirement, I assumed NETWORK involved n ETHIF
<
haesbaert>
Drup: ack
<
Drup>
haesbaert: no, pass an ethif
<
haesbaert>
makes more sense ?
<
Drup>
and use the DSL to build one, based on the combinators
<
haesbaert>
ok, I need to wrap my head around this, first time I see this module syntax.
<
Drup>
Basically, the rule of thumb is : don't apply functors yourself.
<
haesbaert>
module E = Ethif.Make(N)
nullcat has joined #mirage
<
haesbaert>
reading this would be something like, E is an instance of an Ethif module ?
<
haesbaert>
I'm missing nomenclature here
<
haesbaert>
so Make is not really declared in the signature of Ethif,
<
haesbaert>
is Make special ?
<
dsheets>
ETHIF is the type of an interface but Ethif is a module which contains a functor (called Make) which can produce an ETHIF
<
mattg>
Which is returning you a module that fits the ETHIF type
<
mattg>
hopefully someone can confirm that!
<
haesbaert>
ah great, that clarifies, I was missing the link with Make
<
mattg>
sorry just missed dsheets message clarifying it all!
<
haesbaert>
ah I see, then input wants the hooks for each type of payload
MrScout has quit [Remote host closed the connection]
MrScout has joined #mirage
jonludlam has quit [Ping timeout: 240 seconds]
MrScout has quit [Read error: Connection reset by peer]
MrScout has joined #mirage
MrScout has quit [Client Quit]
MrScout has joined #mirage
MrScout_ has joined #mirage
MrScout has quit [Ping timeout: 244 seconds]
rgrinberg1 has quit [Ping timeout: 264 seconds]
dsheets has quit [Ping timeout: 250 seconds]
rgrinberg1 has joined #mirage
jonludlam has joined #mirage
dsheets has joined #mirage
mort___ has joined #mirage
mort___ has quit [Quit: Leaving.]
MrScout has joined #mirage
mort___ has joined #mirage
MrScout_ has quit [Ping timeout: 246 seconds]
MrScout has quit [Ping timeout: 246 seconds]
dsheets has quit [Ping timeout: 244 seconds]
MrScout has joined #mirage
MrScout has quit [Remote host closed the connection]
MrScout has joined #mirage
MrScout has quit [Read error: Connection reset by peer]
MrScout has joined #mirage
rgrinberg1 has quit [Ping timeout: 240 seconds]
dsheets has joined #mirage
brson has joined #mirage
MrScout has quit [Remote host closed the connection]
MrScout has joined #mirage
rgrinberg1 has joined #mirage
rgrinberg1 has quit [Ping timeout: 250 seconds]
rgrinberg1 has joined #mirage
copumpkin has joined #mirage
MrScout has quit [Remote host closed the connection]
MrScout has joined #mirage
MrScout has quit [Remote host closed the connection]
MrScout_ has joined #mirage
seangrove has quit [Ping timeout: 240 seconds]
brson has quit [Quit: leaving]
nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
nullcat has joined #mirage
nullcat has quit [Client Quit]
MrScout_ has quit [Remote host closed the connection]