martin 94881fb123 Rename ISDN devices, per discussion on tech-kern. The network devices ... become ippp (ISDN ppp) and irip (ISDN raw IP). The character device now are called: /dev/isdn (isdnd <-> kernel communication), /dev/isdnctl (dialing and other control), /dev/isdntrc* (tracing), /dev/isdnbchan* (raw B channel access, i.e. for user land PPP) and /dev/isdntel* (telephone devices, i.e. for answering machines).		2002-03-16 16:55:51 +00:00
..
acorn32	Rename ISDN devices, per discussion on tech-kern. The network devices	2002-03-16 16:55:51 +00:00
compile	Ensure that arch/acorn32/compile gets created.	2001-10-07 12:20:55 +00:00
conf	Remove the in practice unused font stuff to save space	2002-03-12 12:52:11 +00:00
dev	* rename MEMORY_DISK_SIZE to OLD_MEMORY_DISK_SIZE; as far as I can	2002-03-10 19:53:25 +00:00
doc	Added the documentation section of arch/arm32 to not let it dissapear.	2001-10-18 00:05:00 +00:00
include	Implement pmap_growkernel for arm32 based ports.	2002-03-03 11:22:58 +00:00
mainbus	__RCSID -> __KERNEL_RCSID	2002-03-10 15:47:43 +00:00
podulebus	__RCSID -> __KERNEL_RCSID	2002-03-10 15:47:43 +00:00
stand	Fix port-acorn32/15850: machdep.booted_kernel on acorn32 is incorrect.	2002-03-10 01:28:19 +00:00
Makefile	Basic acorn32 makefile -- the arm32 one with the obvioud transformations	2001-10-06 22:04:11 +00:00