1# Copyright (c) 2017 Intel Corporation
2# SPDX-License-Identifier: Apache-2.0
3
4config ARCH_POSIX_FUZZ_IRQ
5	int "OS interrupt via which to deliver fuzz cases"
6	default 31
7	help
8	  In this sample, new fuzz cases are delivered to Zephyr
9	  via interrupts.  The IRQ should be otherwise unused, but can
10	  be any value desired by the app.
11
12config ARCH_POSIX_FUZZ_TICKS
13	int "Ticks to allow for fuzz case processing"
14	default 2
15	help
16	  Fuzz interrupts are delivered, from the perspective of the
17	  OS, at a steady cadence in simulated time.  In general most
18	  apps won't require much time to reach an idle state
19	  following a unit-test style case, so the default is short to
20	  prevent interaction with regular timer workloads.
21
22source "Kconfig.zephyr"
23