Kconfig was created for describing the Linux kernel variability and, since then, various open source code development projects have adopted this language. These projects are highly configurable and are shaped by a big number of features or properties. Features in a configurable system interact in a non-trivial way, and this may introduce errors in products. On the other hand, there are tools like SPLOT that supports feature models analysis, allowing inconsistencies detection, dead features detection (which can’t be included in any model) and the number of derived products, among other functions. Since the exposed scenario, this paper proposes the translation of a variability model specified in Kconfig to a feature model specified in SPLOT in order to obtain information from properties of interest mentioned previouslyKconfig fue creado para describir la variabilidad del kernel de Linux y, desde entonces, diversos proyectos de desarrollo de código abierto han adoptado este lenguaje. Estos proyectos son altamente configurables y están conformados por un gran número de características o propiedades. Las características en un sistema configurable interactúan de una manera no trivial, y esto puede introducir errores en los productos derivados. Por otro lado, existen herramientas, tal como SPLOT, que soportan el análisis de modelos de features, permitiendo la detección de inconsistencias, detección de características muertas (las cuales no pueden incluirse en ningún modelo) y el número de productos derivables, entre otras funciones. A partir del escenario planteado, en este trabajo se propone la traducción de un modelo de variabilidad especificado en Kconfig a un modelo de características especificado en SPLOT, para poder luego obtener información sobre las propiedades de interés mencionadas anteriormente.