rom_loopdev: rename to rom_blk to be consistent

Ref #966
2013-11-22 23:19:43 +01:00
parent 1256b01867
commit 4c74af274b
5 changed files with 6 additions and 6 deletions
--- a/doc/components.txt
+++ b/doc/components.txt
@@ -336,7 +336,7 @@ Separate components:
  A file system server that makes the file system of a Linux base platform
  available to Genode.

-:'os/src/server/rom_loopdev':
+:'os/src/server/rom_blk':
  Provides the content of a ROM file as a block session, similar to the
  loop-mount mechanism on Linux