avsm changed the topic of #mirage to: mirage 2 released! party on!
rgrinberg has joined #mirage
kdef has quit [Quit: peace]
avsm has quit [Quit: Leaving.]
chambart has joined #mirage
tlockney is now known as tlockney_away
brson has quit [Ping timeout: 272 seconds]
brson has joined #mirage
brson_ has joined #mirage
brson_ has quit [Client Quit]
brson has quit [Read error: Connection reset by peer]
brson has joined #mirage
MrScout_ has joined #mirage
brson has quit [Client Quit]
brson has joined #mirage
MrScout has quit [Ping timeout: 272 seconds]
MrScout_ has quit [Ping timeout: 240 seconds]
brson has quit [Ping timeout: 250 seconds]
chambart has quit [Ping timeout: 244 seconds]
rgrinberg has quit [Quit: Leaving.]
brson has joined #mirage
manud has quit [Quit: Be back later ...]
nojb has joined #mirage
rgrinberg has joined #mirage
nojb has quit [Quit: nojb]
nojb has joined #mirage
laz has joined #mirage
nojb has quit [Quit: nojb]
brson has quit [Ping timeout: 272 seconds]
topherB has quit [Quit: topherB]
rgrinberg has quit [Quit: Leaving.]
manud has joined #mirage
manud has quit [Quit: Be back later ...]
manud has joined #mirage
larhat has quit [Quit: Leaving.]
djs55 has joined #mirage
thomasga has joined #mirage
chambart has joined #mirage
larhat has joined #mirage
jonludlam has joined #mirage
manud has quit [Quit: Be back later ...]
nojb has joined #mirage
nojb has quit [Quit: nojb]
IbnFirnas has quit [Read error: Connection reset by peer]
IbnFirnas has joined #mirage
mort___ has joined #mirage
djs55 has quit [Quit: Leaving.]
tlockney_away has quit [Ping timeout: 264 seconds]
tlockney_away has joined #mirage
tlockney_away is now known as tlockney
seangrov` has joined #mirage
seangrove has quit [Ping timeout: 265 seconds]
nojb has joined #mirage
djs55 has joined #mirage
avsm has joined #mirage
mcclurmc has joined #mirage
nojb has quit [Quit: nojb]
avsm has quit [Quit: Leaving.]
laz has quit [Ping timeout: 255 seconds]
M___ has joined #mirage
M___ has quit [Quit: Page closed]
djs55 has quit [Quit: Leaving.]
M___ has joined #mirage
djs55 has joined #mirage
nojb has joined #mirage
<M___>
I have added a function to stub_alloc_pages.c in io-pages library. Also added to io-page.ml as external function. io-page installation works fine, but compiling I receive the error "undefined reference to "function"
<M___>
any idea how to fix it?
<nojb>
how can you install it if you can’t even compile it ?
<M___>
io-page is pinned, and I use opam install
<M___>
I mean, I compile my main program that uses io-page
<nojb>
ah
<nojb>
did you add it to the mli ?
<M___>
yes
<nojb>
is it a compile error or during linking ?
<M___>
at the moment, I don't even call the function
<M___>
during linking
<nojb>
are you sure that the names in the .c file and `external` declaration match ?
<M___>
triple checked. yes.
jonludlam has quit [Ping timeout: 245 seconds]
mcclurmc has quit [Remote host closed the connection]
<M___>
I follow the same way that caml_alloc_pages is defined
<nojb>
right, I am not sure what else to try …
<nojb>
do you have the code somewhere accessible ?
mcclurmc has joined #mirage
<M___>
I try to upload it on a repo
<djs55>
are you building a Xen kernel? some of the C stubs are still in the mirage-platform tree
<M___>
yes
<M___>
so, what can I do?
<djs55>
I think you should add your function to mirage-platform/xen/runtime/xencaml/page_stubs.c
<djs55>
you'll need to clone that repo and then "opam pin add mirage-xen <path>"
<M___>
do I need to add the function to both stub_alloc_pages.c and and page_stubs.c, or the second suffices?
<djs55>
the only critical thing is to add your code to the mirage-platform tree, to make sure it ends up in the kernel binary. I would recommend adding it to page_stubs.c
mcclurmc has quit [Remote host closed the connection]
<M___>
Thanks
<M___>
let me see if that works
mcclurmc has joined #mirage
avsm has quit [Quit: Leaving.]
<djs55>
if you've used "opam pin" you can do "opam update" "opam upgrade" to refresh. Although it might be enough to "make install" if you only change the C
mcclurmc has quit [Remote host closed the connection]
chambart has quit [Ping timeout: 272 seconds]
englishm_ is now known as englishm
englishm has quit [Changing host]
englishm has joined #mirage
mcclurmc has joined #mirage
mcclurmc has quit [Remote host closed the connection]
rgrinberg has joined #mirage
MrScout has joined #mirage
larhat has quit [Quit: Leaving.]
mort___ has quit [Ping timeout: 272 seconds]
M___ has quit [Ping timeout: 246 seconds]
MrScout_ has joined #mirage
MrScout_ has quit [Read error: Connection reset by peer]
MrScout_ has joined #mirage
MrScout_ has quit [Remote host closed the connection]
MrScout_ has joined #mirage
MrScout has quit [Ping timeout: 258 seconds]
MrScout_ has quit [Read error: Connection reset by peer]
MrScout has joined #mirage
MrScout has quit [Read error: Connection reset by peer]
MrScout has joined #mirage
MrScout has quit [Remote host closed the connection]
seangrov` has quit [Read error: Connection reset by peer]
MrScout has joined #mirage
Kensan_ has joined #mirage
<nojb>
I need to use uint (which contains cstubs) in a xen unikernel - compiles fine, but linking complains about missing functions. How do I make sure that the functions get linked to the unikernel ?
Kensan has quit [Ping timeout: 244 seconds]
MrScout has quit [Ping timeout: 260 seconds]
rgrinberg has quit [Quit: Leaving.]
MrScout has joined #mirage
mcclurmc has joined #mirage
mcclurmc has quit [Remote host closed the connection]
larhat has joined #mirage
mcclurmc has joined #mirage
mcclurmc has quit [Remote host closed the connection]
rgrinberg has joined #mirage
MrScout has quit [Remote host closed the connection]
MrScout has joined #mirage
mcclurmc has joined #mirage
MrScout has quit [Ping timeout: 258 seconds]
brson has joined #mirage
thomasga has quit [Quit: Leaving.]
nojb has quit [Quit: nojb]
thomasga has joined #mirage
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #mirage
nojb has joined #mirage
chambart has joined #mirage
mcclurmc has quit [Remote host closed the connection]
chambart has quit [Ping timeout: 258 seconds]
mcclurmc has joined #mirage
rgrinberg has quit [Read error: Connection reset by peer]
rgrinberg has joined #mirage
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #mirage
nojb has quit [Quit: nojb]
nojb has joined #mirage
nojb has quit [Client Quit]
chambart has joined #mirage
nojb has joined #mirage
rgrinberg1 has joined #mirage
rgrinberg has quit [Read error: Connection reset by peer]
nojb has quit [Client Quit]
MrScout has joined #mirage
djs55 has quit [Quit: Leaving.]
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #mirage
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #mirage
MrScout_ has joined #mirage
MrScout has quit [Ping timeout: 255 seconds]
rgrinberg1 has quit [Quit: Leaving.]
MrScout_ has quit [Ping timeout: 258 seconds]
MrScout has joined #mirage
jonludlam has joined #mirage
rgrinberg has joined #mirage
jonludlam has quit [Quit: Coyote finally caught me]
jonludlam has joined #mirage
mcclurmc has quit [Remote host closed the connection]
MrScout has quit [Remote host closed the connection]