1/** 2 * \brief Simple SKB; implements some basic functionality of Octopus to provide 3 * a nameservice for architectures that are not yet ready to run ECLiPSe (like ARM) 4 */ 5 6/* 7 * Copyright (c) 2007, 2008, 2009, 2011, ETH Zurich. 8 * All rights reserved. 9 * 10 * This file is distributed under the terms in the attached LICENSE file. 11 * If you do not find this file, copies can be found by writing to: 12 * ETH Zurich D-INFK, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group. 13 */ 14 15 16#include <stdio.h> 17#include <unistd.h> 18 19#include <barrelfish/barrelfish.h> 20#include <octopus_server/init.h> 21 22int main(int argc, char**argv) 23{ 24 errval_t err = oct_server_init(); 25 if (err_is_fail(err)) { 26 USER_PANIC_ERR(err, "octopus init failed?"); 27 } 28 29 messages_handler_loop(); 30 31 return EXIT_FAILURE; 32} 33