Proceedings of the Institute for System Programming of the RAS
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Proceedings of ISP RAS:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


Proceedings of the Institute for System Programming of the RAS, 2018, Volume 30, Issue 6, Pages 161–170
DOI: https://doi.org/10.15514/ISPRAS-2018-30(6)-9
(Mi tisp382)
 

This article is cited in 2 scientific papers (total in 2 papers)

Linux kernel configuration build for application systems

S. V. Kozinab

a National Research University Higher School of Economics
b Ivannikov Institute for System Programming, RAS
Full-text PDF (462 kB) Citations (2)
References:
Abstract: The Linux operating system is a modern open operating system containing more than 10,000 configuration variables and a large variety of functional system elements that handle the processing of various kinds of tasks. The task is to create some version of the OS for a class of applied systems (medicine, biology, etc.). This task is solved by analyzing the basic functions of the OS kernel and choosing from a variety of elements the most suitable for the operational management of application functions. Based on them, a model of variability is created from the basic characteristics of the OS and the model of the OS variant, including the main functional elements of the OS kernel. These models are tested for the correctness of their identification and relationships with other elements. Then, using these models, the OS version is configured as a configuration file. This file is verified and undergoes comprehensive testing on a set of tests that verify the correct functioning of the operating environment and the processing of tasks of applied systems. This paper discusses how to build a ready-made version of the operating system kernel from source. The preparations, the necessary packages, the patches for them and the ways of their installation will be affected. Then it presents a method for configuring a system version assembled from source and configuring the kernel to run.
Keywords: Linux system, characteristics model, system model, verification, testing, OS kernel version, configuration building, source file verification, output file testing.
Funding agency Grant number
Russian Foundation for Basic Research 16-01-00352
Bibliographic databases:
Document Type: Article
Language: Russian
Citation: S. V. Kozin, “Linux kernel configuration build for application systems”, Proceedings of ISP RAS, 30:6 (2018), 161–170
Citation in format AMSBIB
\Bibitem{Koz18}
\by S.~V.~Kozin
\paper Linux kernel configuration build for application systems
\jour Proceedings of ISP RAS
\yr 2018
\vol 30
\issue 6
\pages 161--170
\mathnet{http://mi.mathnet.ru/tisp382}
\crossref{https://doi.org/10.15514/ISPRAS-2018-30(6)-9}
\elib{https://elibrary.ru/item.asp?id=36825270}
Linking options:
  • https://www.mathnet.ru/eng/tisp382
  • https://www.mathnet.ru/eng/tisp/v30/i6/p161
  • This publication is cited in the following 2 articles:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Proceedings of the Institute for System Programming of the RAS
     
      Contact us:
     Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2025