// devfs.cpp
// device filesystem for HOS
// Author: Josh Holtrop
// Date: 06/03/04
// Modified: 06/08/04

#include "devfs.h"
#include "Device.h"
#include "DeviceFolder.h"
#include "kio.h"

DeviceFolder *dev;

void	devfs_init(string mountPoint)
{
	dev = new DeviceFolder();
//	vfs_mount("devfs", mountPoint, 0755, 0, 0);
}