projects / buildroot.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1e2e3cc) | patch
package/refpolicy: allow selecting additional modules
authorAntoine Tenart <antoine.tenart@bootlin.com>
Fri, 31 Jul 2020 10:10:36 +0000 (12:10 +0200)
committerThomas Petazzoni <thomas.petazzoni@bootlin.com>
Fri, 4 Sep 2020 09:34:20 +0000 (11:34 +0200)
commit7f3b075609c82fdc8ab3c0353ae718c801d56abe
treeef2d82a8db536299528574d54983a876a4f938detree
parent1e2e3cc9519ab0fd6ed5411fe88cce14b4b7a2a9commit | diff
package/refpolicy: allow selecting additional modules

Allow users to select additional modules available in the refpolicy, to
be built in the binary policy. This will allow non-base modules to be
selected based on the user use-case and to select extra module
dependencies when providing out-of-tree modules.

Signed-off-by: Antoine Tenart <antoine.tenart@bootlin.com>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>
package/refpolicy/Config.in diff | blob | history
package/refpolicy/refpolicy.mk diff | blob | history