/* * Copyright (c) 1996, 1998, 1999 University of Utah and the Flux Group. * All rights reserved. * * This file is part of the Flux OSKit. The OSKit is free software, also known * as "open source;" you can redistribute it and/or modify it under the terms * of the GNU General Public License (GPL), version 2, as published by the Free * Software Foundation (FSF). To explore alternate licensing terms, contact * the University of Utah at csl-dist@cs.utah.edu or +1-801-585-3271. * * The OSKit is distributed in the hope that it will be useful, but WITHOUT ANY * WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS * FOR A PARTICULAR PURPOSE. See the GPL for more details. You should have * received a copy of the GPL along with the OSKit; see the file COPYING. If * not, write to the FSF, 59 Temple Place #330, Boston, MA 02111-1307, USA. */ /* * Default OS environment for unix mode. Gather up all the little * interfaces (the ones that make sense for unix mode), and * put them into a osenv (services) structure, which is then used to * parameterize the driver code. */ #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include "native.h" oskit_osenv_t * oskit_osenv_create_default(void) { oskit_osenv_t *osenv; osenv = oskit_osenv_create(); if (! osenv) panic("Could not allocate the OS environment object"); INIT_OSENV_IFACE(osenv, log); INIT_OSENV_IFACE(osenv, intr); INIT_OSENV_IFACE_PARMED(osenv, sleep, oskit_create_osenv_intr()); INIT_OSENV_IFACE(osenv, mem); INIT_OSENV_IFACE(osenv, timer); INIT_OSENV_IFACE(osenv, rtc); return osenv; }