/*
** Copyright 2004, Axel Dörfler, axeld@pinc-software.de. All rights reserved.
** Distributed under the terms of the OpenBeOS License.
*/
#ifndef _KERNEL_DEVICE_MANAGER_H
#define _KERNEL_DEVICE_MANAGER_H


#include <SupportDefs.h>


extern status_t device_manager_init(struct kernel_args *args);

#endif	/* _KRENEL_DEVICE_MANAGER_H */