| # Kconfig - generic PC 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 |
| 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 SYS_CLOCK_HW_CYCLES_PER_SEC |
| default 150000000 if LOAPIC_TIMER |
| default 25000000 if HPET_TIMER |
