ragge
69a66687f8
Call ksyms_init() instead of ddb_init() in case of
...
NKSYMS || defined(DDB) || defined(LKM)
2003-04-26 11:05:05 +00:00
thorpej
efb72f65db
Use high vectors on the BRH.
2003-04-22 13:51:11 +00:00
thorpej
fc08e6bd7a
Adapt to ARM32_PMAP_NEW.
2003-04-19 21:52:03 +00:00
thorpej
dd9bc74460
Use PAGE_SIZE rather than NBPG.
2003-04-02 03:39:59 +00:00
briggs
bd89d9c39f
Compile without DIAGNOSTIC.
2003-01-29 20:44:48 +00:00
thorpej
fd5a840f3c
Add support for ADI Engineering's "Big Red Head" i80200 evaluation
...
and development board, based around their BECC companion chip. Despite
its name, the board can run in big- or little-endian mode (we currently
run only in the latter).
2003-01-25 02:00:15 +00:00
