Linux核心源碼Kconfig文法分析

來源:互聯網
上載者:User
linux在2.6版本以後將設定檔由原來的config.in改為kconfig,對於kconfig的文法在/Documentation/kbuild/kconfig-language.txt中做了詳細的說明,在這裡給出kconfig-language.txt的中文版。
介紹
----

在設定資料庫的配置選項是以樹的形式組織的:

   +- Code maturity level options
   | +- Prompt for development and/or incomplete code/drivers
   +- General setup
   | +- Networking support
   | +- System V IPC
   | +- BSD Process Accounting
   | +- Sysctl support
   +- Loadable module support
   | +- Enable loadable module support
   |     +- Set version information on all module symbols
   |     +- Kernel module loader
   +- ...

每個選項都有其自己的依賴關係。這些依賴關係決定了選項是否是可見的。父選項可見,子選項才能可見。

菜單選項
--------

大多數的選項都定義了一個配置選項,其它選項則有助於對它們進行組織。(原文:Most entries define
a config option, all other entries help to organize them.)一個配置選項定義可以是下面
的形式:

config MODVERSIONS
   bool "Set version information on all module symbols"
   depends MODULES
   help
      Usually, modules have to be recompiled whenever you switch to a new
      kernel. ...

每行都是以關鍵字開始,並可以接多個參數。"config" 為定義了一新的配置選項。下面的幾行定義了該配置
選項的屬性。屬性可以是該配置選項的類型,輸入提示(input prompt),依賴關係,協助資訊和預設值。一
配置選項可以用相同的名字定義多次,但每個定義只能有一個輸入提示並且類型還不能衝突。

菜單屬性
--------

一菜單選項可以有多個屬性。並不要求這些屬性可以用在任何地方(見文法)。

- 類型定義:"bool"/"tristate"/"string"/"hex"/"int"
每個配置選項都必須指定類型。有兩個基本類型:tristate 和 string,其他類型都是基於這兩個基本
類型。類型定義可以用輸入提示,所以下面的兩個例子是等價的:

   bool "Networking support"

   bool
   prompt "Networking support"

- 輸入提示: "prompt" <prompt> ["if" <expr>]
每個菜單選項最多隻能有一個顯示給使用者的輸入提示。可以用 "if" 來表示該提示的依賴關係,當然這是
可選的。

- 預設值:"default" <expr> ["if" <expr>]
一個配置選項可以有任意多個預設值。如果有多個預設值,那麼只有第一個被定義的值是可用的。預設值並
不是只限於應用在定義他們的菜單選項。這就意味著預設值可以定義在任何地方或被更早的定義覆蓋。
如果使用者沒有設定(通過上面的輸入提示),配置選項的值就是預設值。如果可以顯示輸入提示的話,就會把
預設值顯示給使用者,並可以讓使用者進行修改。
預設值的依賴關係可以用 "if" 添加。(可選項)

- 依賴關係:"depends on"/"requires" <expr>
為一菜單選項定義依賴關係。如果定義了多個依賴關係,它們之間用 '&&' 間隔。依賴關係也可以應用到
該菜單中所有的其它選項(同樣接受一if運算式),所以下面的兩個例子是等價的:

   bool "foo" if BAR
   default y if BAR
and
   depends on BAR
   bool "foo"
   default y

- 反向依賴關係:"select" <symbol> ["if" <expr>]
儘管普通的依賴關係可以降低一選項的上限,反向依賴能將這一限制降的更低。當前菜單選項的值是symbol
的最小值。如果symbol被選擇了多次,上限就是其中的最大值。
反向依賴只能用在 boolean 或 tristate 選項上。

- 資料範圍:"range" <symbol> <symbol> ["if" <expr>]
為int和hex類型的選項設定可以接受輸入範圍。使用者只能輸入大於等於第一個symbol,小於等於第二個
symbol的值。

- 協助資訊: "help" or "---help---"
定義一協助資訊。協助資訊的結束就由縮排的水平決定的,這也就意味著資訊是在第一個比協助資訊開始行
的縮排小的行結束。
"---help---" 和 "help" 在實現的作用上沒有區別,"---help---" 有助於將檔案中的配置邏輯與
給開發人員的提示分開。

菜單依賴關係
------------

依賴關係決定了菜單選項是否可見,也可以減少tristate的輸入範圍。tristate邏輯比boolean邏輯在表
達式中用更多的狀態(state)來表示模組的狀態。依賴關聯運算式的文法如下:

<expr> ::= <symbol>                             (1)
           <symbol> '=' <symbol>                (2)
           <symbol> '!=' <symbol>               (3)
           '(' <expr> ')'                       (4)
           '!' <expr>                           (5)
           <expr> '&&' <expr>                   (6)
           <expr> '||' <expr>                   (7)

運算式是以優先順序的降序列出的。

(1) 將symbol賦給運算式。boolean和tristate類型的symbol直接賦給運算式。所有其它類型的symbol
    都賦 'n'。
(2) 如果兩個symbol相等,返回'y',否則為'n'。
(3) 如果兩個symbol相等,返回'n',否則為'y'。
(4) 返回運算式的值。用於改變優先順序。
(5) 返回 (2-/expr/) 的結果。
(6) 返回 min(/expr/,/expr/) 的結果。
(7) 返回 max(/expr/,/expr/) 的結果。

一個運算式的值可以是'n','m'或'y'(或者是計算的結果 0,1,2)。當運算式的值為'm'或'y'的時候,菜
單項才是可見的。

symbol有兩種類型:不可變的和可變的。不可變的symbol是最普通的,由'config'語句定義,完全由數字
、字母和底線組成(alphanumeric characters or underscores)。
不可變的symbol只是運算式的一部分。經常用單引號或雙引號括起來。在引號中,可以使用任何字元,使用引
號要用逸出字元'/'。

菜單結構
--------

菜單在樹中的位置可由兩種方法決定。第一種可以是這樣:

menu "Network device support"
   depends NET

config NETDEVICES
   ...

endmenu

所有的在"menu" ... "endmenu" 之間都是"Network device support"的子功能表。所有的子功能表選項
都繼承了父菜單的依賴關係,比如,"NET"的依賴關係就被加到了配置選項NETDEVICES的依賴列表中。

還有就是通過分析依賴關係產生菜單的結構。如果菜單選項在一定程度上依賴於前面的選項,它就能成為該選
項的子功能表。首先,前面的(父)選項必須是依賴列表中的一部分並且它們中必須有滿足下面兩個條件的選項:
- 如果父選項為'n',子選項必須不可見。
- 如果父選項可見,子選項才能可見。

config MODULES
   bool "Enable loadable module support"

config MODVERSIONS
   bool "Set version information on all module symbols"
   depends MODULES

comment "module support disabled"
   depends !MODULES

MODVERSIONS 直接依賴 MODULES,這就意味著如果MODULES不為'n',該選項才可見。換句話說,當
MODULES可見時,選項才可見(MODULES的(空)依賴關係也是選項依賴關係的一部分)。

Kconfig 文法
------------

設定檔描述了菜單選項,每行都是以一關鍵字開頭(除了協助資訊)。下面的關鍵字結束一菜單選項:
- config
- menuconfig
- choice/endchoice
- comment
- menu/endmenu
- if/endif
- source
前5個同樣可以用在菜單選項定義的開始。

config:

   "config" <symbol>
   <config options>

定義了一配置選項 <symbol> 並且可以接受任何前面介紹的屬性。

menuconfig:
   "menuconfig" <symbol>
   <config options>

此關鍵字和前面的關鍵字很相似,但它在前面的基礎上要求所有的子選項作為獨立的行顯示。(This is
similar to the simple config entry above, but it also gives a hint to front
ends, that all suboptions should be displayed as a separate list of options.)

choices:

   "choice"
   <choice options>
   <choice block>
   "endchoice"

該關鍵字定義了一組選擇項,並且選項可以是前面描述的任何屬性。儘管boolean只允許選擇一個配置選項,
tristate可以抒多個配置選項設為'm',但選項只能是boolean或tristate類型。這可以在一個硬體有多
個驅動的情況下使用,最終只有一個驅動被編譯進/載入到核心,,但所有的驅動都可以編譯成模組。
選項可以接受的另一個選項是"optional",這樣選項就被設定為'n',沒有被選中的。

comment:

   "comment" <prompt>
   <comment options>

這裡定義了在配置過程中顯示給使用者的注釋,該注釋還將寫進輸出檔案中。唯一可用的可選項是依賴關係。

menu:

   "menu" <prompt>
   <menu options>
   <menu block>
   "endmenu"

這裡定義了一個菜單,詳細資料請看前面的"菜單結構"。唯一可用的可選項是依賴關係。

if:

   "if" <expr>
   <if block>
   "endif"

這裡定義了if結構。依賴關係<expr>被加到所有在if ... endif 中的菜單選項中。

相關文章

聯繫我們

該頁面正文內容均來源於網絡整理,並不代表阿里雲官方的觀點,該頁面所提到的產品和服務也與阿里云無關,如果該頁面內容對您造成了困擾,歡迎寫郵件給我們,收到郵件我們將在5個工作日內處理。

如果您發現本社區中有涉嫌抄襲的內容,歡迎發送郵件至: info-contact@alibabacloud.com 進行舉報並提供相關證據,工作人員會在 5 個工作天內聯絡您,一經查實,本站將立刻刪除涉嫌侵權內容。

A Free Trial That Lets You Build Big!

Start building with 50+ products and up to 12 months usage for Elastic Compute Service

  • Sales Support

    1 on 1 presale consultation

  • After-Sales Support

    24/7 Technical Support 6 Free Tickets per Quarter Faster Response

  • Alibaba Cloud offers highly flexible support services tailored to meet your exact needs.