diff options
| author | Bjoern B. Brandenburg <bbb@cs.unc.edu> | 2010-05-30 19:50:52 -0400 |
|---|---|---|
| committer | Bjoern B. Brandenburg <bbb@cs.unc.edu> | 2010-06-01 10:23:14 -0400 |
| commit | 8bf9de45b663e4b9ce889eb24929ce773f306339 (patch) | |
| tree | 129f32a9154debc2f587691f711c3ed75b527491 /litmus/Kconfig | |
| parent | cedc8df1cf1ff935af5455a9d565dac05192a47f (diff) | |
Make smp_send_pull_timers() optional.
There is currently no need to implement this in ARM.
So let's make it optional instead.
Diffstat (limited to 'litmus/Kconfig')
| -rw-r--r-- | litmus/Kconfig | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/litmus/Kconfig b/litmus/Kconfig index 614e1051fa49..ba2e2d901888 100644 --- a/litmus/Kconfig +++ b/litmus/Kconfig | |||
| @@ -13,6 +13,7 @@ config PLUGIN_CEDF | |||
| 13 | 13 | ||
| 14 | config RELEASE_MASTER | 14 | config RELEASE_MASTER |
| 15 | bool "Release-master Support" | 15 | bool "Release-master Support" |
| 16 | depends on ARCH_HAS_SEND_PULL_TIMERS | ||
| 16 | default n | 17 | default n |
| 17 | help | 18 | help |
| 18 | Allow one processor to act as a dedicated interrupt processor | 19 | Allow one processor to act as a dedicated interrupt processor |