--- oskit/osenv_mem.c.orig Sat Jul 21 21:57:50 2001 +++ oskit/osenv_mem.c Sat Jul 21 21:58:16 2001 @@ -194,9 +194,13 @@ Always go directly to physical memory. */ flags |= OSENV_VIRT_EQ_PHYS|OSENV_PHYS_WIRED|OSENV_PHYS_CONTIG; +/* XXX The version of oskit we are working with (20000202) does not + * seem to respect this requirement */ +#if 0 if (in_oskit_interrupt) /* The oskit documentation says an interrupt caller must set the flag. */ assert (flags & OSENV_NONBLOCKING); +#endif if ((oskit_addr_t) block < phys_mem_max) {