Re: [MirageOS-devel] Passing tap devices to the main module

[Richard Mortier <Richard.Mortier@xxxxxxxxxxxxxxxx>]

On 5 Oct 2014, at 22:37, Anil Madhavapeddy <anil@xxxxxxxxxx> wrote:

> Block devices have another Xenstore numbering scheme that seems far more 
> Linux-specific (and afaict, one that only Dave and Mort understand :-)

pshaw. it's in the code. plain for all to see. somewhere.
(just don't ask me to remember it... :)

in a spirit of functorisation, it seems like one should be able to pass in a 
function that would generate the next device id as part of the configuration of 
a unikernel, rather than embedding it in some backend library (or even frontend 
tool). or perhaps that's what providing a device tree would do?

(does that even make sense?)


-- 
Cheers,

R.

Attachment: signature.asc
Description: Message signed with OpenPGP using GPGMail

_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel