#include "devfs.h"

int devfs_ndevs = 0;

void devfs_register_device(char *name, struct file_object *fo) {
	devfs_devices[devfs_ndevs].name = name;
	devfs_devices[devfs_ndevs].fo = fo;

	devfs_ndevs++;
}