mrg
|
c71a371532
|
use pseudo-device ipfilter, not ipl.
|
1997-01-07 11:35:01 +00:00 |
|
mark
|
fe764c2415
|
Added the ipl pseudo device.
Cleaned up the options and sync with reality.
|
1997-01-06 03:39:13 +00:00 |
|
pk
|
fe71b17fca
|
Device rename: `rd' => `md'
|
1997-01-01 23:21:54 +00:00 |
|
ws
|
31bdb14ed5
|
Rename recently checked in KGDB to IPKDB to resolve conflicts with older KGDB
|
1996-10-16 19:32:08 +00:00 |
|
mark
|
25d5efdd4f
|
Updated to match reality.
|
1996-10-15 00:23:51 +00:00 |
|
mark
|
db208e96e3
|
Addition of configuration file for RC7500 development board.
|
1996-05-12 21:49:01 +00:00 |