2015-07-06 23:09:47 +08:00
|
|
|
# Kconfig - generic PC platform configuration options
|
2015-05-21 00:40:39 +08:00
|
|
|
|
|
|
|
#
|
|
|
|
# Copyright (c) 2014-2015 Wind River Systems, Inc.
|
|
|
|
#
|
2015-10-07 00:00:37 +08:00
|
|
|
# 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
|
2015-05-21 00:40:39 +08:00
|
|
|
#
|
2015-10-07 00:00:37 +08:00
|
|
|
# http://www.apache.org/licenses/LICENSE-2.0
|
2015-05-21 00:40:39 +08:00
|
|
|
#
|
2015-10-07 00:00:37 +08:00
|
|
|
# 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.
|
2015-05-21 00:40:39 +08:00
|
|
|
#
|
|
|
|
|
2015-06-16 04:43:35 +08:00
|
|
|
config PLATFORM
|
2015-03-13 06:15:28 +08:00
|
|
|
string
|
2015-07-17 03:47:25 +08:00
|
|
|
default ia32
|
2015-03-13 06:15:28 +08:00
|
|
|
help
|
2015-06-17 02:24:18 +08:00
|
|
|
This option holds the directory name used by the build system to locate
|
|
|
|
the correct linker file.
|
2015-03-13 06:15:28 +08:00
|
|
|
|
|
|
|
config PHYS_LOAD_ADDR
|
|
|
|
default 0x00100000
|
|
|
|
|
2015-11-22 12:21:16 +08:00
|
|
|
config PHYS_RAM_ADDR
|
|
|
|
default 0x00400000
|
|
|
|
|
2015-10-15 03:46:41 +08:00
|
|
|
config RAM_SIZE
|
|
|
|
default 128 if XIP
|
|
|
|
default 192
|
|
|
|
|
|
|
|
config ROM_SIZE
|
|
|
|
default 72 if XIP
|
|
|
|
|
2015-03-13 06:15:28 +08:00
|
|
|
config SYS_CLOCK_HW_CYCLES_PER_SEC
|
2015-07-23 04:22:25 +08:00
|
|
|
default 150000000 if LOAPIC_TIMER
|
|
|
|
default 25000000 if HPET_TIMER
|