On 12/02/19 10:13, Thomas Huth wrote: >> +Unlike Linux, there is no user interface to edit the configuration, which >> is instead >> +specified in per-target files under the ``default-configs/`` directory of >> the >> +QEMU source tree. This is because, unlike Linux, configuration and >> dependencies can be >> +treated as a black box when building QEMU; the default configuration that >> QEMU >> +ships with should be okay in almost all cases. > I'd like to suggest to replace "Linux" with "Linux-Kconfig".
Here I think it's really Linux vs. QEMU, not Linux-Kconfig versus minikconf. However... > [...] >> +**reverse dependencies**: ``select <symbol> [if <expr>]`` >> + >> + While ``depends on`` forces a symbol to false, reverse dependencies can be >> + used to force another symbol to true. In the following example, >> + ``CONFIG_BAZ`` will be true whenever ``CONFIG_FOO`` is true:: >> + >> + config FOO >> + select BAZ >> + >> + The optional expression will prevent ``select`` from having any effect >> + unless it is true. >> + >> + Note that unlike Linux, QEMU will detect contradictions between ``depends >> on`` and > dito ... I'll do the replacement you suggest here. Paolo