module testNullStream {
   import rt = coyotos.RunTime;
   import Image = coyotos.Image;
   import bp = coyotos.BootProcess;

   import ns = coyotos.NullStream;

   def bank = new Bank(PrimeBank);
   def image = Image.load_elf(bank, "testNullStream");
   def testNullStream = bp.make(bank, image, NullCap(), NullCap());

   testNullStream.capReg[rt.REG.APP0] = ns.constructor;
   testNullStream.capReg[rt.REG.APP0 + 1] = KernLog();
}