/tmp/l4check/full_tree/trunk/l4/pkg/l4vfs/idl/object_server.idl

Go to the documentation of this file.

/* -*- c -*- */
/* (c) 2004 Technische Universitaet Dresden
 * This file is part of DROPS, which is distributed under the terms of the
 * GNU General Public License 2. Please see the COPYING file for details.
 */
import <l4/sys/types.h>
import <l4/l4vfs/types.h>

import <l4/l4vfs/basic_name_server.idl>
import <l4/l4vfs/name_space_provider.idl>
import <l4/l4vfs/extendable.idl>
import <l4/l4vfs/basic_io.idl>
import <l4/l4vfs/container_io.idl>

library l4vfs
{
    [uuid(1004)]
        interface object_server : basic_name_server, basic_io, container_io
    {
    };
};

---