Subject: Re: What arm32 systems is everyone using?
To: Colin MacKenzie <cmackenzie@epage.ca>
From: Neil A. Carson <neil@causality.com>
List: port-arm32
Date: 07/31/1998 14:43:13
Greetings,

Essentially, the BIOS needs to do whatever you don't put in the
beginning of the kernel instead. I guess the main services it needs to
provide are setting up any memory, enabling the MMU and creation of some
initial page tables), setting up the mappings of any IO devices (eg PCI
peripherals), loading the kernel, and entering it. URLs
	http://www.research.digital.com/SRC/iag/
	http://www.chaltech.com
may be of interest.

	Cheers,

	Neil

-- 
Neil A. Carson