>>> On 13.11.15 at 12:41, <julien.gr...@citrix.com> wrote: > 2) make menuconfig doesn't expose any options => No possibility to > select any UART on ARM. > > The latter is because how you define the option in the Kconfig: > > config HAS_EXYNOS4210 > bool > > Without any text, it's not possible for the user to select this option.
This part at least is intended at this point in time (see past discussions) - we don't want any user configurable items just yet. Jan _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel