1.1 --- a/include/fs_directory.h	Fri Nov 08 23:51:24 2019 +0100
     1.2 +++ b/include/fs_directory.h	Sat Nov 09 17:21:27 2019 +0100
     1.3 @@ -35,7 +35,7 @@
     1.4  
     1.5  /* Filesystem directory resource. */
     1.6  
     1.7 -class Fs_directory : public Resource, public directory_object
     1.8 +class Fs_directory : public Resource, public DirectoryObject
     1.9  {
    1.10  private:
    1.11    ext2_filsys _fs;

     2.1 --- a/include/fs_filesystem.h	Fri Nov 08 23:51:24 2019 +0100
     2.2 +++ b/include/fs_filesystem.h	Sat Nov 09 17:21:27 2019 +0100
     2.3 @@ -34,7 +34,7 @@
     2.4  
     2.5  /* A class providing access to a filesystem via the given interfaces. */
     2.6  
     2.7 -class Fs_filesystem : public Resource, public filesystem_object
     2.8 +class Fs_filesystem : public Resource, public FilesystemObject
     2.9  {
    2.10  private:
    2.11    /* Paging object coordinator. */

     3.1 --- a/include/fs_user_filesystem.h	Fri Nov 08 23:51:24 2019 +0100
     3.2 +++ b/include/fs_user_filesystem.h	Sat Nov 09 17:21:27 2019 +0100
     3.3 @@ -37,7 +37,7 @@
     3.4  
     3.5  /* Filesystem server for a specific user identity. */
     3.6  
     3.7 -class Fs_user_filesystem : public Resource, public user_filesystem_object
     3.8 +class Fs_user_filesystem : public Resource, public UserFilesystemObject
     3.9  {
    3.10  private:
    3.11    ext2_filsys _fs;