Changeset 6387c18 in mainline for kernel/generic/src/main

Timestamp:

2008-05-30T14:54:33Z (18 years ago)

Author:

Martin Decky <martin@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

8c7294c6

Parents:

afb1e35

Message:

fix kernel ramdisk support

File:

• kernel/generic/src/main/kinit.c (modified) (1 diff)

kernel/generic/src/main/kinit.c

@@ -179 +179 @@
                                 ipc_phone_0 = &utask->answerbox;
                 } else {
-                        int rd = init_rd((rd_header *) init.tasks[i].addr,
+                        int rd = init_rd((rd_header_t *) init.tasks[i].addr,
                             init.tasks[i].size);