Kernel Mode Linux 2.6.19_001

Kernel Mode Linux project is a technology which enables us to execute user programs in kernel mode

Developer:	Toshiyuki Maeda more software by author →
Price:	0.00
License:	GPL (GNU General Public License)
File size:	31K
Language:
OS:
Rating:	0 /5 (0 votes)
Your vote:
enlarge screenshot

Kernel Mode Linux project is a technology which enables us to execute user programs in kernel mode. In Kernel Mode Linux, user programs can be executed as user processes that have the privilege level of kernel mode.

The benefit of executing user programs in kernel mode is that the user programs can access a kernel address space directly. So, for example, user programs can invoke system calls very fast because it is unnecessary to switch between a kernel mode and a user mode by using costly software interruptions or context switches.

Unlike kernel modules, user programs are executed as ordinary processes (except for their privilege level), so scheduling and paging are performed as usual.

Although it seems dangerous to let user programs access a kernel directly, safety of the kernel can be ensured, for example, by static type checking, software fault isolation, and so forth.

For proof of concept, we are developing a system which is based on the combination of Kernel Mode Linux and Typed Assembly Language, TAL. (TAL can ensure safety of programs through its type checking and the type checking can be done at machine binary level.

Limitations:

User processes executed in kernel mode should obey the following limitations. Otherwise, your system will be in an undefined state. In the worst-case scenario, your system will crash.

On IA-32, programs executed in kernel mode shouldn't modify their CS, DS, FS and SS registers.

On AMD64, programs executed in kernel mode shouldn't modify their CS register.

In addition, on AMD64, IA-32 binaries cannot be executed in kernel mode.

What's New in This Release:

This release has been merged with the 2.6.19 Linux kernel.
tags

kernel mode user programs type checking programs can mode linux mode shouldn this release programs executed modify their for example user processes privilege level your system

Download Kernel Mode Linux 2.6.19_001

http://www.yl.is.s.u-tokyo.ac.jp/~tosh/kml/kml/for2.6/kml_2.6.19_001.diff.gz

Authors software

Kernel Mode Linux 2.6.19_001 (by Toshiyuki Maeda)
Kernel Mode Linux project is a technology which enables us to execute user programs in kernel mode

TOS 0.0.0.2 (by Toshiyuki Maeda)
TOS is an experimental operating system kernel which is written in our strictly and statically typed assembly language, TALK.

Today,

TALK 0.0.0.2 (by Toshiyuki Maeda)
TALK is a strictly and statically typed assembly language that is flexible and powerful enough to write operating system kernels.

Similar software

Kernel Mode Linux 2.6.19_001 (by Toshiyuki Maeda)
Kernel Mode Linux project is a technology which enables us to execute user programs in kernel mode

Kernux 1.0 (by Girish A., Krishnendusekhar J.)
Kernux project is a fully kernel-mode http-daemon for Linux

POE::Loop 0.3502 (by Rocco Caputo)
POE::Loop is a documentation for POE's event loop bridge interface.

SYNOPSIS

$kernel->loop_initialize();
$kernel->loop_fin

watchdog 9.3 (by Michael Meskes)
Watchdog application is a daemon that checks if your system is still working

Program Guard 0.7.0 (by Donald G. Williams)
Program Guard allows the user of a Linux workstation to specify which application programs that are allowed TCP/IP connections to the

TinyCD Hurd LiveCD 20060722 (by Ben Asselstine)
TinyCD Hurd LiveCD is different because it uses the Hurd kernel replacement instead of using the Linux kernel

TOS 0.0.0.2 (by Toshiyuki Maeda)
TOS is an experimental operating system kernel which is written in our strictly and statically typed assembly language, TALK.

Today,

Hurd LiveCD 20051117 (by Ben Asselstine)
Hurd LiveCD is different because it uses the Hurd kernel replacement instead of using the Linux kernel.

The Hurd uses a set of ser

LIDS 2.2.2-2.6.14 (by LIDS Team)
LIDS (Linux Intrusion Detection System) is a kernel patch and admin tools which enhances the kernel's security by implementing Mand

Linux Kernel Monitor 0.2 (by Fernando Apesteguia)
Linux Kernel Monitor is a tool for monitoring and managing linux's kernel

Other software in this category

KernelDriver 5.22 (by omerz)
KernelDriver™ for Linux automates and simplifies the development of kernel mode Linux device drivers for PCI / CardBus / ISA / ISAPnP

uLan Driver 0.7 (by Pavel Pisa)
uLan provides 9-bit message oriented communication protocol, which is transferred over RS-485 link.

Characters are transferred sam

Linux Kernel 2.6.19.1 (by Kernel.Org Organization, Inc.)
Linux Kernel is the essential part of Linux, responsible for resource allocation, low-level hardware interfaces, security, simple com

Migshm 2.4.26-2 (by The Migshm team)
Migshm is a DSM patch for openMosix

Realtime Application Interface 3.4 (by RTAI Team)