From 5b6a41bddf77703b896263d76504ebb74a6d6a5c Mon Sep 17 00:00:00 2001 From: Marcel Moolenaar Date: Sat, 23 Aug 2003 21:47:33 +0000 Subject: [PATCH] Add the bits for a LINT kernel. It has been verified to compile. We may need to polish this. --- sys/ia64/conf/Makefile | 3 +++ sys/ia64/conf/NOTES | 48 ++++++++++++++++++++++++++++++++++++++++++ 2 files changed, 51 insertions(+) create mode 100644 sys/ia64/conf/Makefile create mode 100644 sys/ia64/conf/NOTES diff --git a/sys/ia64/conf/Makefile b/sys/ia64/conf/Makefile new file mode 100644 index 00000000000..2c006e9c2c8 --- /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 00000000000..96dcfbf6736 --- /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<