Use a better memoization table.
Merge branch 'master' of https://github.com/mirage/mirage-skeleton
Ping test compiles but doesn't work yet
Clean-ups before switching to mirami
More fixes. Almost there ...
Fix DHCP conf
Update setup.ml
Do not display TCP parameters when they are not needed
Pass network parameters to the IP main function
Use latest mirari
update to latest mirari
Added a Makefile to the ping example
Move the basic example to mirari
Ported tcp to mirari
Merge pull request #1 from vbmithr/master

Mirarified most of examples
Add a suspend/resume example VM. Needs a VIF to work.

Signed-off-by: Jon Ludlam <jonathan.ludlam@eu.citrix.com>
Merge pull request #2 from jonludlam/suspend

Add a suspend/resume example VM. Needs a VIF to work.
Add the block performance test from the old monolithic repo

The build uses mirari and obuild rather than _oasis.
Add the blkfront driver to the dependency list
Explicitly call the 'Blkif.register' function