Skip to search formSkip to main contentSkip to account menu

menuconfig

Known as: Kconfig, Linux kernel config, Linux kernel configuration 
make menuconfig is one of five similar tools that can configure the Linux kernel source, a necessary early step needed to compile the source code… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
The server system with low power and high efficiency ARM64bit cores is now accelerating the versatility of usages such as the low… 
2017
2017
Fil: Gonzalez, Rocio Pilar. Universidad Tecnologica Nacional. Facultad Regional Santa Fe; Argentina. 
2015
2015
Most resource control protocols such as IPCP (Immediate Priority Ceiling Protocol) require a kernel system call to implement the… 
Review
2015
Review
2015
The Linux kernel is a highly configurable software system. The aim of this paper is to develop a formal method for the analysis… 
2015
2015
Most of the current variability resolution tools are based on feature model. However, due to the lack of binding representation… 
2015
2015
Evolving a large scale, highly variable systems is a challenging task. For such a system, evolution operations often require to… 
2015
2015
Evolving a large scale, highly variable systems is a challenging task. For such a system, evolution operations often require to… 
2014
2014
We reverse-engineer a formal semantics of the Component Definition Language (CDL), which is part of the highly configurable… 
2011
2011
This thesis describes the design and implementation of a Linux-based, Web-oriented operating system called Awesom-O, designed… 
2006
2006
Hard real-time systems in robotics, space and military missions, and control devices are specified with stringent and critical…