Typo's.

diff --git a/servers/mfs/device.c b/servers/mfs/device.c
index 7072bbf450a77b1a882ba77a30587d7f5e675301..03dbb3f922a396dc8fb64334f5dc297fcc6ffcdc 100644 (file)
--- a/servers/mfs/device.c
+++ b/servers/mfs/device.c
@@ -240,7 +240,7 @@ int flags;                  /* special flags, like O_NONBLOCK */
   /* RECOVERY:
    * - send back dead driver number
    * - VFS unmaps it, waits for new driver
-   * - VFS sends the new dirver endp for the FS proc and the request again 
+   * - VFS sends the new driver endp for the FS proc and the request again 
    */
   if (r != OK) {
       if (r == EDEADSRCDST || r == EDSTDIED || r == ESRCDIED) {

diff --git a/servers/vfs/device.c b/servers/vfs/device.c
index 95593ed6b6b618f42a7fe97aaed7534d7109ca09..1f0f94836d86d3e246f869ded7edf2743632898d 100644 (file)
--- a/servers/vfs/device.c
+++ b/servers/vfs/device.c
@@ -903,7 +903,7 @@ PUBLIC void dev_up(int maj)
         }
 
         /* Send new driver endpoint */
-        printf("VFS: sending new dirver for dev: %d, endpoint: %d, FS_e: %d\n", 
+        printf("VFS: sending new driver for dev: %d, endpoint: %d, FS_e: %d\n", 
                 vmp->m_dev, new_driver_e, vmp->m_fs_e);
         
         if (OK != req_newdriver(vmp->m_fs_e, vmp->m_dev, new_driver_e))