Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 224,884,431 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
14 relations
Broader (3)
Build automation
Configuration management
Linux
Compiler
Concurrent Versions System
GNU Compiler Collection
Gtk#
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
The LXC-LXD Virtualization in ARM64bit X-Gene2 Server
Jin-Suk Ma
,
Dong-Jae Kang
,
Hak-Young Kim
Lecture Notes in Electrical Engineering
2018
Corpus ID: 58638085
The server system with low power and high efficiency ARM64bit cores is now accelerating the versatility of usages such as the low…
Expand
2017
2017
Análisis de variabilidad de líneas de productos de software especificadas en Kconfig
R. González
,
M. A. Sequeira
2017
Corpus ID: 135196881
Fil: Gonzalez, Rocio Pilar. Universidad Tecnologica Nacional. Facultad Regional Santa Fe; Argentina.
2015
2015
Reducing the Implementation Overheads of IPCP and DFP
H. Almatary
,
N. Audsley
,
A. Burns
IEEE Real-Time Systems Symposium
2015
Corpus ID: 23703526
Most resource control protocols such as IPCP (Immediate Priority Ceiling Protocol) require a kernel system call to implement the…
Expand
Review
2015
Review
2015
Formal analysis of the Linux kernel configuration with SAT solving
M. Walch
,
Rouven Walter
,
W. Küchlin
Configuration Workshop
2015
Corpus ID: 6081992
The Linux kernel is a highly configurable software system. The aim of this paper is to develop a formal method for the analysis…
Expand
2015
2015
A software binding application tool based on the orthogonal variability description language for software product line development
Gyeongmin Go
,
Sungwon Kang
,
Jongsun Ahn
Software Engineering, Artificial Intelligence…
2015
Corpus ID: 14952313
Most of the current variability resolution tools are based on feature model. However, due to the lack of binding representation…
Expand
2015
2015
Group Technical Report Series Analysing Feature Model Changes using FMDiff
Nicolas Dintzner
,
A. Deursen
,
M. Pinzger
2015
Corpus ID: 66779951
Evolving a large scale, highly variable systems is a challenging task. For such a system, evolution operations often require to…
Expand
2015
2015
Analysing Feature Model Changes using FMDiff
Nicolas Dintzner
,
A. Deursen
,
M. Pinzger
2015
Corpus ID: 61494832
Evolving a large scale, highly variable systems is a challenging task. For such a system, evolution operations often require to…
Expand
2014
2014
Formal Semantics of the CDL Language Technical Note
T. Berger
,
S. She
2014
Corpus ID: 18103307
We reverse-engineer a formal semantics of the Component Definition Language (CDL), which is part of the highly configurable…
Expand
2011
2011
A Linux-based, Web-oriented operating system designed to boot quickly
Ulf Magnusson
2011
Corpus ID: 107798826
This thesis describes the design and implementation of a Linux-based, Web-oriented operating system called Awesom-O, designed…
Expand
2006
2006
Group-edf: a new approach and an efficient non-preemptive algorithm for soft real-time systems
K. Kavi
,
Wenming Li
2006
Corpus ID: 15693080
Hard real-time systems in robotics, space and military missions, and control devices are specified with stringent and critical…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE