blob: e2efda7656fe06203bc74e9e2ddfbae21109d0d1 [file] [log] [blame]
# Licensed to the Apache Software Foundation (ASF) under one
# or more contributor license agreements. See the NOTICE file
# distributed with this work for additional information
# regarding copyright ownership. The ASF licenses this file
# to you 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.
#
# Package: kernel/os
syscfg.defs:
OS_CLI:
description: 'TBD'
value: 0
restrictions:
- SHELL_TASK
OS_COREDUMP:
description: 'TBD'
value: 0
OS_CPUTIME_FREQ:
description: 'Frequency of os cputime'
value: 1000000
OS_CPUTIME_TIMER_NUM:
description: 'Timer number to use in OS CPUTime, 0 by default.'
value: 0
SANITY_INTERVAL:
description: 'The interval (in milliseconds) at which the sanity checks should run, should be at least 200ms prior to watchdog'
value: 15000
WATCHDOG_INTERVAL:
description: 'The interval (in milliseconds) at which the watchdog should reset if not tickled, in ms'
value: 30000
MSYS_1_BLOCK_COUNT:
description: 'TBD'
value: 12
MSYS_1_BLOCK_SIZE:
description: 'TBD'
value: 292
MSYS_2_BLOCK_COUNT:
description: 'TBD'
value: 0
MSYS_2_BLOCK_SIZE:
description: 'TBD'
value: 0
MSYS_3_BLOCK_COUNT:
description: 'TBD'
value: 0
MSYS_3_BLOCK_SIZE:
description: 'TBD'
value: 0
MSYS_4_BLOCK_COUNT:
description: 'TBD'
value: 0
MSYS_4_BLOCK_SIZE:
description: 'TBD'
value: 0
MSYS_5_BLOCK_COUNT:
description: 'TBD'
value: 0
MSYS_5_BLOCK_SIZE:
description: 'TBD'
value: 0