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