You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Currently, docteur implements its own block device. It's highly related to mirage/mirage-block#53. Indeed, we must have a mmapsyscall which is outside the Lwt monad. If it's the case, we can imagine then a functorization of docteur_{solo5,unix} over a Mirage_block.S (and combine it with mirage-block-ccm for instance).
The text was updated successfully, but these errors were encountered:
Currently,
docteur
implements its own block device. It's highly related to mirage/mirage-block#53. Indeed, we must have ammap
syscall which is outside theLwt
monad. If it's the case, we can imagine then a functorization ofdocteur_{solo5,unix}
over aMirage_block.S
(and combine it withmirage-block-ccm
for instance).The text was updated successfully, but these errors were encountered: