===================================================================
RCS file: /cvs/prex-old/doc/html/doc/debug.html,v
retrieving revision 1.1.1.1
retrieving revision 1.1.1.1.2.1
diff -u -r1.1.1.1 -r1.1.1.1.2.1
--- prex-old/doc/html/doc/debug.html	2008/06/03 10:38:42	1.1.1.1
+++ prex-old/doc/html/doc/debug.html	2008/08/13 17:12:25	1.1.1.1.2.1
@@ -23,7 +23,7 @@
           <td id="logo">
             <a href="http://prex.sourceforge.net/">
             <img alt="Prex logo" src="../img/logo.gif" border="0"
-            style="width: 281px; height: 56px;"></a>
+            style="width: 250px; height: 54px;"></a>
           </td>
           <td id="brief" align="right" valign="bottom">
             An Open Source, Royalty-free,<br>
@@ -43,7 +43,7 @@
     <tr><td class="pad" colspan="2" style="vertical-align: top;"></td></tr>
 
     <tr>
-      <td id="main" style="vertical-align: top;">
+      <td id="doc" style="vertical-align: top;">
       <h1>Prex Kernel Debugging Tips and Tricks</h1>
 
 <i>Version 1.0, 2005/09/05</i><br>
@@ -68,7 +68,7 @@
 The debugging version will have the following extra functions
 compared with the release version.
 <ul>
-  <li>printk() to output the debug message.</li>
+  <li>printf() to output the debug message.</li>
   <li>panic() log for the fatal error.</li>
   <li>ASSERT() for the assertion check.</li>
   <li>Kernel function trace.</li>
@@ -93,12 +93,12 @@
 
 <h2 id="print">Kernel Print</h2>
 <p>
-The most powerful tool for kernel debugging is printk(). You can check the
-code path, or get the data value by putting the printk() anywhere in 
+The most powerful tool for kernel debugging is printf(). You can check the
+code path, or get the data value by putting the printf() anywhere in 
 the kernel code.
 </p>
 <p>
-printk() is the subset of printf() in standard C library. You can use
+This is the subset of printf() in standard C library. You can use
 only following identifiers for the output string.
 </p>
 <ul>
@@ -385,7 +385,7 @@
 464                     panic("Failed to allocate idle stack");
 465             memset(stk, 0, KSTACK_SIZE);
 466             idle_thread.kstack = stk;
-467             printk("kernel stack size=%d\n", KSTACK_SIZE);
+467             printf("kernel stack size=%d\n", KSTACK_SIZE);
 468
 469             context_init(&amp;idle_thread.context, stk + KSTACK_SIZE);
 470             list_insert(&amp;kern_task.threads, &amp;idle_thread.task_link);