Add the bits for a LINT kernel. It has been verified to compile. We

may need to polish this.

2 files changed, 51 insertions, 0 deletions

diff --git a/sys/ia64/conf/Makefile b/sys/ia64/conf/Makefile
new file mode 100644
index 0000000..2c006e9
--- /dev/null
+++ b/sys/ia64/conf/Makefile
@@ -0,0 +1,3 @@
+# $FreeBSD$
+
+.include "${.CURDIR}/../../conf/makeLINT.mk"
diff --git a/sys/ia64/conf/NOTES b/sys/ia64/conf/NOTES
new file mode 100644
index 0000000..96dcfbf
--- /dev/null
+++ b/sys/ia64/conf/NOTES
@@ -0,0 +1,48 @@
+# $FreeBSD$
+#
+# This file contains machine dependent kernel configuration notes.  For
+# machine independent notes, look in /sys/conf/NOTES.
+
+# directive: machine
+# This directive is mandatory.  It defines the architecture to be configured
+# for. It can only be ia64 at this time.
+#
+machine		ia64
+
+# directive: cpu
+# You must specify at least one CPU (the one you intend to run on). Deleting
+# the support for CPUs you don't need to use may make parts of the system run
+# faster. There's currently no special code for the different CPUs. Note also
+# that the cpu declares the family. We may need to add support for specifying
+# particular models.
+cpu		ITANIUM
+cpu		ITANIUM2
+
+# option: IA32
+# This option enables the support for execution of i386 (32-bit) programs on
+# ia64. It is based on the ia32 emulation in the processor.
+options		IA32
+
+# option: LOG2_PAGE_SIZE
+# Specify the log2 size of the page to be used for virtual memory management.
+# The page size being equal to 1<<LOG2_PAGE_SIZE.
+options		LOG2_PAGE_SIZE=14
+
+# option: SKI
+# Build support for running under the ski simulator.
+options		SKI
+
+# option: UWX_TRACE_ENABLE
+# Build the unwinder with tracing support. This option is used to debug the
+# unwinder itself and the glue around it.
+options		UWX_TRACE_ENABLE
+
+# MI options
+options		ACPI_DEBUG
+options		KSTACK_PAGES=3
+
+device		acpi
+device		agp
+device		eisa
+device		isa
+device		pci