Add the no op cache.c for devmnt.
authorRonald G. Minnich <rminnich@google.com>
Fri, 17 Jan 2014 19:03:22 +0000 (11:03 -0800)
committerRonald G. Minnich <rminnich@google.com>
Fri, 17 Jan 2014 19:03:22 +0000 (11:03 -0800)
commit5abf1f9d42ee1a5fc893bdc3c2a3af56baf5b7aa
treeb7411ade0b69d17a876d01259b74c7960bb49083
parentad6fda23a998257f392d71a3fd920d09b7c2a07e
Add the no op cache.c for devmnt.

We might want devmnt to cache someday, so just leave it
as is for now.

Signed-off-by: Ronald G. Minnich <rminnich@google.com>
kern/drivers/dev/mnt.c
kern/include/assert.h
kern/include/ns.h
kern/src/ns/Kbuild
kern/src/ns/cache.c [new file with mode: 0644]