dc00c828e3
and instead add platform, firmware and EFI stubs to the loader. The net effect of this change is that besides a special console and disk driver, the kernel has no knowledge of the simulator. This has the following advantages: o Simulator support is much harder to break, o It's easier to make use of more feature complete simulators. This would only need a change in the simulator specific loader, o Running SMP kernels within the simulator. Note that ski at this time does not simulate IPIs, so there's no way to start APs. The platform, firmware and EFI stubs describe the following hardware: o 4 CPU Itanium, o 128 MB RAM within the 4GB address space, o 64 MB RAM above the 4GB address space. NOTE: The stubs in the skiloader describe a machine that should in parts be defined by the simulator. Things like processor interrupt block and AP wakeup vector cannot be choosen at random because they require interpretation by the simulator. Currently the simulator is ignorant of this. This change introduces an unofficial SSC call SSC_SAL_SET_VECTORS which is ignored by the simulator. Tested with: ski (version 0.943 for linux)
70 lines
2.3 KiB
Plaintext
70 lines
2.3 KiB
Plaintext
#
|
|
# SKI -- Kernel configuration file for FreeBSD/ia64 running in the HP
|
|
# SKI simulator
|
|
#
|
|
# For more information on this file, please read the handbook section on
|
|
# Kernel Configuration Files:
|
|
#
|
|
# http://www.FreeBSD.org/handbook/kernelconfig-config.html
|
|
#
|
|
# The handbook is also available locally in /usr/share/doc/handbook
|
|
# if you've installed the doc distribution, otherwise always see the
|
|
# FreeBSD World Wide Web server (http://www.FreeBSD.org/) for the
|
|
# latest information.
|
|
#
|
|
# An exhaustive list of options and more detailed explanations of the
|
|
# device lines is also present in the ../../i386/conf/NOTES file.
|
|
# If you are in doubt as to the purpose or necessity of a line, check first
|
|
# in NOTES. Please note that this is the i386 NOTES, but it still contains
|
|
# valuable info for ia64 too.
|
|
#
|
|
# For hardware specific information check HARDWARE.TXT
|
|
#
|
|
# $FreeBSD$
|
|
|
|
machine ia64
|
|
cpu ITANIUM
|
|
ident SKI
|
|
maxusers 0
|
|
|
|
makeoptions DEBUG=-g #Build kernel with gdb(1) debug symbols
|
|
makeoptions NO_MODULES=yes #Ignore any x86 CPUTYPE
|
|
|
|
options COMPAT_43 #Compatible with BSD 4.3 [KEEP THIS!]
|
|
options COMPAT_FREEBSD4
|
|
options DDB
|
|
options FFS #Berkeley Fast Filesystem
|
|
options INET #InterNETworking
|
|
options INET6 #IPv6 communications protocols
|
|
options INVARIANTS
|
|
options INVARIANT_SUPPORT
|
|
options KTR
|
|
options KTRACE #ktrace(1) syscall trace support
|
|
options KTR_COMPILE="(KTR_INTR|KTR_PROC)"
|
|
options KTR_CPUMASK=0x3
|
|
options KTR_ENTRIES=1024
|
|
options KTR_MASK=0
|
|
options KTR_VERBOSE
|
|
options MD_ROOT #MD is a potential root device
|
|
options PROCFS #Process filesystem (requires PSEUDOFS)
|
|
options PSEUDOFS #Pseudo-filesystem framework
|
|
options SCHED_4BSD #4BSD scheduler
|
|
options SCSI_DELAY=500 #Delay (in ms) before probing SCSI
|
|
options SKI
|
|
options SOFTUPDATES #Enable FFS soft updates support
|
|
options SYSVMSG #SYSV-style message queues
|
|
options SYSVSEM #SYSV-style semaphores
|
|
options SYSVSHM #SYSV-style shared memory
|
|
options WITNESS
|
|
options _KPOSIX_PRIORITY_SCHEDULING #Posix P1003_1B real-time extensions
|
|
|
|
device acpi
|
|
device bpf # Berkeley packet filter
|
|
device ether # Ethernet support
|
|
device loop # Network loopback
|
|
device md # Memory "disks"
|
|
device pci
|
|
device pty # Pseudo-ttys (telnet etc)
|
|
device random # Entropy device
|
|
device tun # Packet tunnel.
|