avsm changed the topic of #mirage to: mirage 2 released! party on!
seangrove has quit [Remote host closed the connection]
nullcat has joined #mirage
nyu_ has joined #mirage
dwwoelfe_ has joined #mirage
dwwoelfel has quit [Ping timeout: 250 seconds]
dwwoelfe_ has quit [Ping timeout: 240 seconds]
nyu_ has left #mirage [#mirage]
rgrinberg has quit [Ping timeout: 260 seconds]
insitu has joined #mirage
insitu has quit [Client Quit]
nullcat_ has joined #mirage
nullcat has quit [Read error: No route to host]
jermar has quit [Ping timeout: 240 seconds]
insitu has joined #mirage
insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
w10have has joined #mirage
insitu has joined #mirage
rudenoise has joined #mirage
rudenoise has quit [Quit: rudenoise]
rudenoise has joined #mirage
srenatus has joined #mirage
AltGr has joined #mirage
neuro_sys has joined #mirage
<neuro_sys>
hi
jermar has joined #mirage
mort___ has joined #mirage
mort___ has quit [Read error: Connection reset by peer]
mort___ has joined #mirage
andreas23 has joined #mirage
insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<reynir>
hi
insitu has joined #mirage
insitu has quit [Client Quit]
<hannes>
morning!
<reynir>
morning :)
<reynir>
Will the date for the summer hackathon be set soon, anyone know?
mato has joined #mirage
* hannes
does not know... maybe ask on the mailing list?
StrykerKKD has joined #mirage
w10have has quit [Remote host closed the connection]
w10have has joined #mirage
<reynir>
good idea
rudenoise has quit [Quit: rudenoise]
rudenoise has joined #mirage
demonimin has quit [Ping timeout: 264 seconds]
andreas23 has quit [Ping timeout: 272 seconds]
demonimin has joined #mirage
andreas23 has joined #mirage
rgrinberg has joined #mirage
rgrinberg has quit [Client Quit]
rgrinberg has joined #mirage
<hannes>
Drup: in contrast to my earlier claims, discovering the sizes of symbols via nm or objdump is very brittle (or not possible at all?) -- maybe bap has a decent interface to do so... or the dwarf output might let one discover the source code pieces...
<hannes>
but I failed several times at discovering sizes using the output of nm on the ocaml-generated archive files..
<hannes>
def`: oh cool, will look into that. 64bit only is fine with me
<hannes>
def`: btw, did you see my merlin complaint that C-c C-x does not always jump to the next error in buffer?
rudenoise has quit [Quit: rudenoise]
rudenoise has joined #mirage
<def`>
hannes: ah yes... hmm, "it's feature"
<hannes>
ok
<def`>
if you have better behavior to suggest, you are welcome :)
<hannes>
def`: as a user, I'd expect C-c C-x to always jump to the next error :)
<def`>
the idea was to update errors in buffer first, and move the cursor after. Some people complained to me that it was confusing that the cursor moved when error where refreshed
<hannes>
(it happens if I have a bunch of errors in a buffer, C-c C-x to the first one, fix it, C-c C-x to jump to the next one. if I C-x C-s after fixing the first error, the second C-c C-x jumps to the next error afaics)
<hannes>
oh cool, thx!
w10have has quit [Remote host closed the connection]
w10have has joined #mirage
rudenoise has quit [Quit: rudenoise]
rudenoise has joined #mirage
wiredsister has joined #mirage
andreas23 has quit [Quit: Leaving.]
insitu has joined #mirage
nullcat_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
jermar has quit [Remote host closed the connection]
demonimin has quit [Remote host closed the connection]
demonimin has joined #mirage
rudenoise has left #mirage [#mirage]
wiredsister has quit [Ping timeout: 250 seconds]
wtenhave has joined #mirage
insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
rgrinberg has quit [Ping timeout: 244 seconds]
wtenhave has quit [Ping timeout: 276 seconds]
rgrinberg has joined #mirage
mort___ has quit [Ping timeout: 260 seconds]
w10have has quit [Ping timeout: 258 seconds]
dobson has quit [Ping timeout: 258 seconds]
insitu has joined #mirage
rgrinberg has quit [Quit: WeeChat 1.5]
rgrinberg has joined #mirage
rgrinberg has quit [Client Quit]
rgrinberg has joined #mirage
insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
rgrinberg has quit [Quit: WeeChat 1.5]
rgrinberg has joined #mirage
dobson has joined #mirage
rgrinberg has quit [Ping timeout: 244 seconds]
rgrinberg has joined #mirage
StrykerKKD has quit [Quit: Leaving]
rgrinberg has quit [Client Quit]
rgrinberg has joined #mirage
insitu has joined #mirage
insitu_ has joined #mirage
insitu has quit [Ping timeout: 272 seconds]
insitu_ has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
insitu has joined #mirage
rgrinberg has quit [Ping timeout: 276 seconds]
rgrinberg has joined #mirage
insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
fowlslegs has joined #mirage
jermar has joined #mirage
<fowlslegs>
Just trying to get a sense of the possibilities with Mirage, so will be asking some questions. For starters, does the application code of a unikernel have to be written in ocaml?
betheynyx has quit [Ping timeout: 276 seconds]
<hannes>
fowlslegs: MirageOS uses OCaml, yes. there are some bits and pieces written (and linked to) in C, but the idea is to have a homogenous language.
<hannes>
there are other unikernels (using other languages, or mixes), see rumpkernel/halvm/... unikernel.org gives some overview
<fowlslegs>
Cool, great resource.
insitu has joined #mirage
insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
StrykerKKD has joined #mirage
insitu has joined #mirage
insitu has quit [Client Quit]
srenatus has quit [Quit: Connection closed for inactivity]
rgrinberg has quit [Ping timeout: 240 seconds]
yegods has joined #mirage
AltGr has left #mirage [#mirage]
rgrinberg has joined #mirage
StrykerKKD has quit [Quit: Leaving]
yegods has quit [Remote host closed the connection]
yegods has joined #mirage
yegods has quit [Remote host closed the connection]
rgrinberg has quit [Ping timeout: 260 seconds]
yegods has joined #mirage
yegods has quit [Remote host closed the connection]