Emulab-specific sections.
"-transition" is Emulab only. "-hardware" I made a separate file rather than trying to work out all the racket-specific "#ifdef" mechanisms to make it work in the main hardware file.
Showing
emulab-hardware.scrbl
0 → 100644
emulab-transition.scrbl
0 → 100644
Please register or sign in to comment