Changeset 0e183dd in mainline for kernel/generic/src/main/main.c

Timestamp:

2013-12-27T17:48:22Z (10 years ago)

Author:

Martin Decky <martin@…>

Branches:

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

Children:

96b9724

Parents:

7a98cef

Message:

remove debugging comments

File:

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

kernel/generic/src/main/main.c

@@ -166 +166 @@
         config.stack_base = config.base + config.kernel_size;
         
-        printf("base = 0x%08x\n", config.base);
-        printf("kernel_size = 0x%08x\n", config.kernel_size);
-        printf("stack_base = 0x%08x\n", config.stack_base);
-
         /* Avoid placing stack on top of init */
         size_t i;