Previous Next  

Element: KernelConfiguration

Document type

CoreOSDescription

Document XPath

/CoreOSDescription/KernelConfiguration

Schema XPath

/ConfigRecord/Module/CoreOS/CoreOSDescription/KernelConfiguration

Description

The KernelConfiguration element contains configuration information for binary kernel components supplied by VxWorks 653.

Use

Required

Children

None

Attributes

addressSpaceRegionAllocationUnit

addressSpaceSize

kernelVirtualAddress

memoryAllocationDisabled

partitionVirtualAddress

sysClkRateHz

unsafeMethodTimeout

user1

user2

watchDogTimerDuration

Restrictions

None

Attribute: addressSpaceRegionAllocationUnit

Document XPath
/CoreOSDescription/KernelConfiguration/@addressSpaceRegionAllocationUnit
Schema XPath
/ConfigRecord/Module/CoreOS/CoreOSDescription/KernelConfiguration/@addressSpaceRegionAllocationUnit
Description

Some architectures have limitations on how close you can put certain types of memory blocks to each other. For example, you can't put user-mode blocks too close to supervisor-mode blocks, or memory-mapped IO blocks too close to RAM blocks. This setting ensures that the proper separation is maintained.

The virtual address space is segregated into consecutive units of size addressSpaceRegionAllocationUnit. Each unit may contain only one of the following types of object:

Use

Required

Target location

None

XML data type

DecOrHexValueType

Destination data type

N/A

Behavior if not specified

N/A

Values with special meanings

None

Restrictions

Attribute: addressSpaceSize

Document XPath
/CoreOSDescription/KernelConfiguration/@addressSpaceSize
Schema XPath
/ConfigRecord/Module/CoreOS/CoreOSDescription/KernelConfiguration/@addressSpaceSize
Description

The size of the virtual address space for the module.

Use

Required

Target location

ConfigRecord

XML data type

DecOrHexValueType

Destination data type

Signed 32 bit integer

Behavior if not specified

N/A

Values with special meanings

None

Restrictions

Attribute: kernelVirtualAddress

Document XPath
/CoreOSDescription/KernelConfiguration/@kernelVirtualAddress
Schema XPath
/ConfigRecord/Module/CoreOS/CoreOSDescription/KernelConfiguration/@kernelVirtualAddress
Description

The virtual address (start address) of the kernel.

Use

Required

Target location

ConfigRecord

XML data type

DecOrHexValueType

Destination data type

Unsigned 32 bit integer

Behavior if not specified

N/A

Values with special meanings

None

Restrictions

Attribute: memoryAllocationDisabled

Document XPath
/CoreOSDescription/KernelConfiguration/@memoryAllocationDisabled
Schema XPath
/ConfigRecord/Module/CoreOS/CoreOSDescription/KernelConfiguration/@memoryAllocationDisabled
Description

Determines whether dynamic memory allocation is disabled or enabled after the core OS is initialized.

Use

Required

Target location

ConfigRecord

XML data type

xs:boolean

Destination data type

Boolean

Behavior if not specified

Dynamic memory allocation is enabled.

Values with special meanings

false: Dynamic memory allocation is enabled.

true: Dynamic memory allocation is disabled.

Restrictions

None

Attribute: partitionVirtualAddress

Document XPath
/CoreOSDescription/KernelConfiguration/@partitionVirtualAddress
Schema XPath
/ConfigRecord/Module/CoreOS/CoreOSDescription/KernelConfiguration/@partitionVirtualAddress
Description

The virtual address where all applications are placed. If you give this attribute a value, the value overrides the value for PD_DEFAULT_BASE_ADRS, which is defined in the BSP.

Use

Required

Target location

None

XML data type

DecOrHexValueType

Destination data type

Unsigned 32 bit integer

Behavior if not specified

N/A

Values with special meanings

None

Restrictions

Attribute: sysClkRateHz

Document XPath
/CoreOSDescription/KernelConfiguration/@sysClkRateHz
Schema XPath
/ConfigRecord/Module/CoreOS/CoreOSDescription/KernelConfiguration/@sysClkRateHz
Description

The system clock rate in Hz.

Use

Required

Target location

ConfigRecord

XML data type

DecOrHexValueType

Destination data type

Signed 32 bit integer

Behavior if not specified

The target default is used.

Values with special meanings

-1: The target default is used.

Restrictions

Attribute: unsafeMethodTimeout

Document XPath
/CoreOSDescription/KernelConfiguration/@unsafeMethodTimeout
Schema XPath
/ConfigRecord/Module/CoreOS/CoreOSDescription/KernelConfiguration/@unsafeMethodTimeout
Description

The time allowed for worker tasks that makes unsafe system calls to complete before initiating a partition restart.

An unsafe system call is a system call which, if interrupted (by a partition restart), can cause instability in the core OS. Most system calls affect objects that are only accessible by the calling partition (such as port and health monitor calls). Those are safe. But some system calls affect core OS tables. IO_OPEN for example changes the core OS's file descriptor table. IO_OPEN is unsafe. Worker tasks are used for all nonblocking system calls.

Use

Required

Target location

ConfigRecord

XML data type

DurationType

Destination data type

Unsigned 32 bit integer

Behavior if not specified

No time is allowed for worker tasks to complete before initiating partition restart.

Values with special meanings

INFINITE_TIME: The system waits for all worker tasks to complete before initiating partition restart.

Restrictions

None

Attribute: user1

Document XPath
/CoreOSDescription/KernelConfiguration/@user1
Schema XPath
/ConfigRecord/Module/CoreOS/CoreOSDescription/KernelConfiguration/@user1
Description

This attribute specifies the value of the user1 field in the CORE_OS_CFG_RECORD structure in the system configuration record. You can access this value at runtime by calling:

configRecordFieldGet (pCfg, CORE_USER1, 0, &value)
					
Use

Optional

Target location

configRecord

XML data type

DecOrHexValueType

Destination data type

Signed 32 bit integer

Behavior if not specified

A value of 0 is used.

Values with special meanings

None

Restrictions

None

Attribute: user2

Document XPath
/CoreOSDescription/KernelConfiguration/@user2
Schema XPath
/ConfigRecord/Module/CoreOS/CoreOSDescription/KernelConfiguration/@user2
Description

This attribute specifies the value of the user2 field in the CORE_OS_CFG_RECORD structure in the system configuration record. You can access this value at runtime by calling:

configRecordFieldGet (pCfg, CORE_USER2, 0, &value)
					
Use

Optional

Target location

configRecord

XML data type

DecOrHexValueType

Destination data type

Signed 32 bit integer

Behavior if not specified

A value of 0 is used.

Values with special meanings

None

Restrictions

None

Attribute: watchDogTimerDuration

Document XPath
/CoreOSDescription/KernelConfiguration/@watchDogTimerDuration
Schema XPath
/ConfigRecord/Module/CoreOS/CoreOSDescription/KernelConfiguration/@watchDogTimerDuration
Description

The maximum partition time (in SYSTEM_TIME_TYPE increments) that the core OS can lock preemption while protecting critical sections.

Use

Required

Target location

ConfigRecord

XML data type

DurationType

Destination data type

Unsigned 32 bit integer

Behavior if not specified

The core OS can lock preemption indefinitely.

Values with special meanings

INFINITE_TIME: The core OS can lock preemption indefinitely

Restrictions

None




Generated on 2007-10-15 17:17:22.