Kernel Mode Linux: Toward an Operating System Protected by a Type Theory

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-540-40965-6_2
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Experience With K42, an Open-Source, Linux-Compatible, Scalable Operating-System Kernel

IBM Systems Journal
2005English

Constructing a Committed Operating System Employing Linux

International Journal of Computer Applications
2015English

Linux Kernel Vulnerabilities

2011English

An Automated System of Network and System Administration of Windows and Linux Family Operating Systems

Science Bulletin of the Novosibirsk State Technical University
2018English

Evolution of the Linux Kernel

Proceedings of the Institute for System Programming of the RAS
2017English

Omni-Kernel: An Operating System Architecture for Pervasive Monitoring and Scheduling

IEEE Transactions on Parallel and Distributed Systems
HardwareComputational TheorySignal ProcessingArchitectureMathematics
2015English

Operating System Kernel Coprocessor for Embedded Applications

2010English

Perpetual Development: A Model of the Linux Kernel Life Cycle

Journal of Systems and Software
HardwareInformation SystemsArchitectureSoftware
2012English

Using Fault Injection for Testing Linux Kernel Components

Proceedings of the Institute for System Programming of RAS
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy