Hi,
I just checkout and compiled HelenOS.
Here is a patch I had to do in order to get HelenOS to compile.

=== modified file 'kernel/generic/src/main/main.c'
--- kernel/generic/src/main/main.c      2012-01-25 22:59:35 +0000
+++ kernel/generic/src/main/main.c      2012-02-16 10:48:32 +0000
@@ -256,7 +256,7 @@
                size_t i;
                for (i = 0; i < init.cnt; i++)
                        LOG("init[%zu].addr=%p, init[%zu].size=%zu",
-                           i, (void *) init.tasks[i].addr, i, 
init.tasks[i].size);
+                           i, (void *) init.tasks[i].paddr, i, 
init.tasks[i].size);
        } else
                printf("No init binaries found.\n");
        


Cheers.

-- 
Thomas Sanchez
Epitech Paris, Promo 2012
UNIX/C/C++ Teacher Assistant
Laboratory System {Epita,Epitech}.

_______________________________________________
HelenOS-devel mailing list
[email protected]
http://lists.modry.cz/cgi-bin/listinfo/helenos-devel

Reply via email to