Changeset 401 for trunk/kernel/kern

Timestamp:

Aug 17, 2017, 3:02:18 PM (7 years ago)

Author:

alain

Message:

Few bugs in VMM

Location:

trunk/kernel/kern

Files:

• kernel_init.c (modified) (2 diffs)
• rpc.h (modified) (1 diff)

trunk/kernel/kern/kernel_init.c

@@ -1067 +1067 @@
     {
         process_init_create();
-        vfs_display( vfs_root_inode_xp );
     }
 
@@ -1088 +1087 @@
         print_banner( (info->x_size * info->y_size) , info->cores_nr );
 
+        vfs_display( vfs_root_inode_xp );
+        
         kinit_dmsg("\n\n***** memory fooprint for main kernel objects\n\n"
                    " - thread descriptor  : %d bytes\n"

trunk/kernel/kern/rpc.h

@@ -494 +494 @@
                               intptr_t           vaddr,
                               xptr_t           * vseg_xp,
-                              error_t            error );
+                              error_t          * error );
 
 void rpc_vmm_get_vseg_server( xptr_t xp );