4 Commits

Author	SHA1	Message	Date
bsh	73635ffe34	use PMAP_DOMAIN_KERNEL and DOMAIN_CLIENT instead of magic numbers.	2003-06-18 03:17:49 +00:00
bsh	87a703eac0	enable the domain 15 during bootstrap, as new pmap_map_section() use it.	2003-05-13 04:20:39 +00:00
bsh	d3681dec8c	Build our own page table which is used during bootstrap, instead of ... reusing the table prepared by the monitor program on ROM. This will allow the kernel booted by gzboot at reset vector.	2003-05-09 16:25:46 +00:00
bsh	4b28b301bb	SMDK2800 is an evaluation board for Samsung S3C2800 CPU.	2002-11-20 18:06:25 +00:00