44 lines
1.0 KiB
Plaintext
44 lines
1.0 KiB
Plaintext
# Kconfig - ia32_pci platform configuration options
|
|
|
|
#
|
|
# Copyright (c) 2014-2015 Wind River Systems, Inc.
|
|
#
|
|
# Licensed under the Apache License, Version 2.0 (the "License");
|
|
# you may not use this file except in compliance with the License.
|
|
# You may obtain a copy of the License at
|
|
#
|
|
# http://www.apache.org/licenses/LICENSE-2.0
|
|
#
|
|
# Unless required by applicable law or agreed to in writing, software
|
|
# distributed under the License is distributed on an "AS IS" BASIS,
|
|
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
# See the License for the specific language governing permissions and
|
|
# limitations under the License.
|
|
#
|
|
|
|
|
|
config PLATFORM
|
|
string
|
|
default ia32_pci
|
|
help
|
|
This option holds the directory name used by the build system to locate
|
|
the correct linker file.
|
|
|
|
config PHYS_LOAD_ADDR
|
|
default 0x00100000
|
|
|
|
config RAM_SIZE
|
|
default 128 if XIP
|
|
default 192
|
|
|
|
config ROM_SIZE
|
|
default 72 if XIP
|
|
|
|
config SYS_CLOCK_HW_CYCLES_PER_SEC
|
|
default 150000000 if LOAPIC_TIMER
|
|
default 25000000 if HPET_TIMER
|
|
|
|
config UART_CONSOLE_INDEX
|
|
default 1
|
|
|