microkernels

White Papers

Adaptive High-Level Scheduling in a Generic Parallel Runtime Environment

January 1, 2012 12:00am PST

The authors present the design and prototype implementation of a Run-Time Environment (RTE) for the implicitly parallel execution of high-level languages. In their design a micro-kernel provides...

Provided by: Heriot-Watt University

Software

Adventure Boy - adventure of a young boy in the mysterious Inca Empire 1.4 (Mobile)

August 27, 2011 12:00am PDT

Adventure Boy is a hero with a big job - to power up his world!Help boy run ,jump,kick,lift,throw,bounce,swing,and get the 20 gemstone,Download now,and get ready to harness the power of pure...

Provided by: microkernel

White Papers

A Virtual Memory Foundation for Scalable Deterministic Parallelism

July 12, 2011 12:00am PDT

Recent deterministic execution environments promise efficient program replay and bug reproduction, but their scalability is currently limited by strictly hierarchical synchronization models or...

Provided by: Association for Computing Machinery

White Papers

A Virtual Memory Foundation for Scalable Deterministic Parallelism

July 12, 2011 12:00am PDT

Recent deterministic execution environments promise efficient program replay and bug reproduction, but their scalability is currently limited by strictly hierarchical synchronization models or...

Provided by: Association for Computing Machinery

White Papers

Provable Security: How Feasible Is It?

April 13, 2011 12:00am PDT

For mainstream operating systems the community has given up on strong security. One can graft mandatory access control onto Linux, or try to harden Windows NT, but people are in no position to get...

Provided by: University of New South Wales

White Papers

seL4 Enforces Integrity

February 22, 2011 12:00am PST

The authors prove the enforcement of two high-level access control properties in the seL4 microkernel: integrity and authority confinement. Integrity provides an upper bound on write operations....

Provided by: NICTA

White Papers

Performance Evaluation of Para-Virtualization on Modern Mobile Phone Platform

February 2, 2011 12:00am PST

Emergence of smartphones brings to live the concept of converged devices with the availability of web amenities. Such trend also challenges the mobile devices manufactures and service providers in...

Provided by: World Academy of Science, Engineering and Technology

White Papers

An Architectural Overview of QNX

January 1, 2011 12:00am PST

This paper presents an architectural overview of the QNX operating system. QNX is an OS that provides applications with a fully network- and multiprocessor-distributed, realtime environment that...

Provided by: Quantum

White Papers

A Novel Embedded Statistical Scheduler for Realising High System-QoS

December 1, 2010 12:00am PST

Development of schedulers for real-time embedded systems is an emerging area of research as it addresses timely scheduling issues like co-operative scheduling, pre-emptive scheduling, micro-kernel...

Provided by: Haldia Institute of Technology

White Papers

Efficient System-Enforced Deterministic Parallelism

September 21, 2010 12:00am PDT

Deterministic execution offers many benefits for debugging, fault tolerance, and security. Current methods of executing parallel programs deterministically, however, often incur high costs, allow...

Provided by: Yale University

BLOG_DISCUSSION_TYPE

Are microkernels the future of secure OS design?

September 6, 2010 6:27am PDT

Are microkernels the future of secure OS design? article root Excellent idea! And not a moment too soon. De-bloatization of the OS, so to speak. I said "not a moment too soon", because...

Blog Post

Are microkernels the future of secure OS design?

September 6, 2010 5:00am PDT

MINIX 3, and microkernel OSes in general, might show us the way toward the future of secure OS design.

37 Latest comment by robo_dev

White Papers

capDL: A Language for Describing Capability-Based Systems

August 30, 2010 12:00am PDT

Capabilities provide an access control model that can be used to construct systems where safety of protection can be precisely determined. However, in order to be certain of the security provided...

Provided by: Association for Computing Machinery

White Papers

The OKL4 Microvisor: Convergence Point of Microkernels and Hypervisors

August 30, 2010 12:00am PDT

The authors argue that recent hypervisor-vs-microkernel discussions completely miss the point. Fundamentally, the two classes of systems have much in common, and provide similar abstractions. They...

Provided by: Association for Computing Machinery

White Papers

Towards Proving Security in the Presence of Large Untrusted Components

August 24, 2010 12:00am PDT

This paper proposes a generalized framework to build large, complex systems where security guarantees can be given for the overall systems implementation. The paper builds on the formally proven...

Provided by: NICTA

White Papers

Towards High-Assurance Multiprocessor Virtualisation

May 18, 2010 12:00am PDT

Virtualisation is increasingly being used in security-critical systems to provide isolation between system components. Being the foundation of any virtualised system, hypervisors need to provide a...

Provided by: University of New South Wales

White Papers

Capability Wrangling Made Easy: Debugging on a Microkernel With Valgrind

March 22, 2010 12:00am PDT

Not all operating systems are created equal. Contrasting traditional monolithic kernels, there is a class of systems called microkernels more prevalent in embedded systems like cellphones, chip...

Provided by: Dresden University of Technology

White Papers

A Novel Operating System on Chip With Information Security Support for Embedded System

December 1, 2009 12:00am PST

System-On-Chip (SOC) has provided more powerful functions for embedded systems. ScratchPad Memory (SPM), which is software-controlled on-chip memory, is used in embedded systems to reduce the...

Provided by: Academy Publisher

White Papers

A Practical Look at Micro-Kernels and Virtual Machine Monitors

November 9, 2009 12:00am PST

This paper looks at two different approaches used to provide embedded system support for virtualization and virtual machine monitors for consumer electronics and mobile devices. The paper compares...

Provided by: Institute of Electrical and Electronics Engineers

White Papers

The Cake is a Lie: Privilege Rings as a Policy Resource

November 9, 2009 12:00am PST

Components of commodity OS kernels typically execute at the same privilege level. Consequently, the compromise of even a single component undermines the trustworthiness of the entire kernel and...

Provided by: Association for Computing Machinery