Kai Germaschewski 18d43861d0 sync with kernel. std2kern hopefully takes care of the Makefile ... difference for the time being		2000-12-17 21:15:02 +00:00
..
isdn	sync with kernel. std2kern hopefully takes care of the Makefile	2000-12-17 21:15:02 +00:00