# Create device files in the new filesystem
echo "Copying device files to the new filesystem"
cp -dpR /dev/fd[01]* tempfs/dev
cp -dpR /dev/tty[0-6] tempfs/dev
cp -dpR /dev/hd[a-d][0-20] tempfs/dev
cp -dpR /dev/sd[a-d][0-20] tempfs/dev
for NEW_DEVICE in console kmem mem null ram0 zero; do
	cp -dpR /dev/$NEW_DEVICE tempfs/dev
done
mkdir tempfs/dev/pts