[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[MirageOS-devel] What is correct type of Mirage_stack?



Hi,

I'm modifying "mirage-skeleton/device-usage/network" example to save a
handler to "Tcpip_stack" to be used in another module later.

(1) With "mirage configure -t unix --net=socket", it works ok.
https://github.com/ehirdoy/mirage-skeleton/commit/86fa2ab5ca99ef47e7a3a
2bc256906cf32d57e53

Then,
(2) With "mirage configure -t hvt --net=direct", it failed to be built
with "Error: Unbound module Tcpip_stack_direct1".
https://github.com/ehirdoy/mirage-skeleton/commit/042655cbc438b49fff372
f85085b7431d14c217a

Even in the case of (1), I used a type("Tcpip_stack_socket") stolen
from dynamically auto-generated "main.ml". I'm sure that this seems
already wrong. Also of course I don't want to change code per mirage
configuration. "Unikernel.Main" originally takes "Mirage_stack_lwt.V4"
but this "Mirage_stack_lwt.V4" doesn't seems to work outside of this
Main functor???

What type should I use for this mirage stack if I want the same code to
be built successfully in both cases?

This is the simplified version of my issue. Similarly my original issue
is that I need to pass a stack hander to another functor as seen in:
https://github.com/ehirdoy/light_actor/commit/80f7157622d1608b7ac4fd7b7
699d6e4cc3d72e7


Any help would be really appreciated.
_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/mirageos-devel

 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.