00001 /* 00002 * Copyright (C) 2006 Ondrej Palkovsky 00003 * All rights reserved. 00004 * 00005 * Redistribution and use in source and binary forms, with or without 00006 * modification, are permitted provided that the following conditions 00007 * are met: 00008 * 00009 * - Redistributions of source code must retain the above copyright 00010 * notice, this list of conditions and the following disclaimer. 00011 * - Redistributions in binary form must reproduce the above copyright 00012 * notice, this list of conditions and the following disclaimer in the 00013 * documentation and/or other materials provided with the distribution. 00014 * - The name of the author may not be used to endorse or promote products 00015 * derived from this software without specific prior written permission. 00016 * 00017 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR 00018 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES 00019 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. 00020 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, 00021 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT 00022 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 00023 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 00024 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 00025 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF 00026 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 00027 */ 00028 00037 #include <stdio.h> 00038 #include <ipc/ipc.h> 00039 #include <async.h> 00040 #include <ipc/services.h> 00041 #include <as.h> 00042 #include <kernel/ipc/irq.h> 00043 00044 /* Pointer to klog area */ 00045 static char *klog; 00046 00047 static void interrupt_received(ipc_callid_t callid, ipc_call_t *call) 00048 { 00049 int i; 00050 00051 async_serialize_start(); 00052 for (i=0; klog[i + IPC_GET_ARG1(*call)] && i < IPC_GET_ARG2(*call); i++) 00053 putchar(klog[i + IPC_GET_ARG1(*call)]); 00054 putchar('\n'); 00055 async_serialize_end(); 00056 } 00057 00058 int main(int argc, char *argv[]) 00059 { 00060 int res; 00061 void *mapping; 00062 00063 printf("Kernel console output.\n"); 00064 00065 mapping = as_get_mappable_page(PAGE_SIZE); 00066 res = ipc_call_sync_3(PHONE_NS, IPC_M_AS_AREA_RECV, 00067 (sysarg_t)mapping, PAGE_SIZE, SERVICE_MEM_KLOG, 00068 NULL,NULL,NULL); 00069 if (res) { 00070 printf("Failed to initialize klog memarea\n"); 00071 _exit(1); 00072 } 00073 klog = mapping; 00074 00075 if (ipc_register_irq(IPC_IRQ_KLOG, NULL)) { 00076 printf("Error registering for klog service.\n"); 00077 return 0; 00078 } 00079 00080 async_set_interrupt_received(interrupt_received); 00081 00082 async_manager(); 00083 00084 return 0; 00085 } 00086