diff options
| author | Daniel Friesel <dfriesel@uos.de> | 2022-05-20 10:13:50 +0000 |
|---|---|---|
| committer | Daniel Friesel <dfriesel@uos.de> | 2022-05-20 10:13:50 +0000 |
| commit | 4eb9358714cc5553c886021931752ec2b95055f4 (patch) | |
| tree | 54ca7cb2b8748139fa534dcbdf40f7397ac72e7a /examples/kconfig-static/Kconfig | |
| parent | 0daafbe96c1057fe7fd9cc64f3e74fb914c1eeb4 (diff) | |
Add a test benchmark for explore-kconfig
Diffstat (limited to 'examples/kconfig-static/Kconfig')
| -rw-r--r-- | examples/kconfig-static/Kconfig | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/examples/kconfig-static/Kconfig b/examples/kconfig-static/Kconfig new file mode 100644 index 0000000..1b02bac --- /dev/null +++ b/examples/kconfig-static/Kconfig @@ -0,0 +1,22 @@ +choice +prompt "pi or tau?" + +config X5 +bool "X = 5" + +config X6 +bool "X = 6" +depends on !Y0 + +endchoice + +choice +prompt "apples or oranges?" + +config Y4 +bool "Y = 4" + +config Y0 +bool "Y = 0" + +endchoice |