Add to ORKGThis paper describes the techniques used to achieve high context-switching performance on ARM processors for the L4 microkernel and a para-virtualised Linux running on top. We examine how the previously-published techniques can be used in L4 with minimal changes to the kernel API. We also propose future API changes which make it easier to maximise memory-management performance, not only on ARM but also on architectures supporting a segmented memory model
We present an analysis of the virtualizability of the ARMv7-A architecture carried out in the contex...
First-generation µ-kernels have a reputation for being too slow and lacking sufficient flexibility. ...
The ARM architecture is a power-efficient design that is used in most processors in mobile devices a...
Microkernels were invented as a foundation for systems that can be tailored and adhere to strict sec...
As ARM CPUs become increasingly common in mobile devices and servers, there is a growing demand for ...
As ARM CPUs become increasingly common in mo-bile devices and servers, there is a growing demand for...
International audienceToday, ARM is becoming the mainstream family of processors in the high-perform...
The use of hardware to perform part of central processing unit (CPU) processing functions is a conso...
The ARM architecture is dominating in the mobile and embedded markets and is making an upwards push ...
[[abstract]]High-performance and low-power VLIW DSP processors are increasingly being deployed in mo...
This paper describes the first implementation of a custom micro-kernel on a ARM-FPGA platform capabl...
International audienceThis paper describes the first implementation of a custom micro-kernel on a AR...
ARM servers are becoming increasingly common, making server technologies such as virtualization for ...
The growing demand of new functionalities in modern embedded real-time systems has led chip makers t...
This paper addresses the problem of providing spatial and temporal isolation between execution domai...
We present an analysis of the virtualizability of the ARMv7-A architecture carried out in the contex...
First-generation µ-kernels have a reputation for being too slow and lacking sufficient flexibility. ...
The ARM architecture is a power-efficient design that is used in most processors in mobile devices a...
Microkernels were invented as a foundation for systems that can be tailored and adhere to strict sec...
As ARM CPUs become increasingly common in mobile devices and servers, there is a growing demand for ...
As ARM CPUs become increasingly common in mo-bile devices and servers, there is a growing demand for...
International audienceToday, ARM is becoming the mainstream family of processors in the high-perform...
The use of hardware to perform part of central processing unit (CPU) processing functions is a conso...
The ARM architecture is dominating in the mobile and embedded markets and is making an upwards push ...
[[abstract]]High-performance and low-power VLIW DSP processors are increasingly being deployed in mo...
This paper describes the first implementation of a custom micro-kernel on a ARM-FPGA platform capabl...
International audienceThis paper describes the first implementation of a custom micro-kernel on a AR...
ARM servers are becoming increasingly common, making server technologies such as virtualization for ...
The growing demand of new functionalities in modern embedded real-time systems has led chip makers t...
This paper addresses the problem of providing spatial and temporal isolation between execution domai...
We present an analysis of the virtualizability of the ARMv7-A architecture carried out in the contex...
First-generation µ-kernels have a reputation for being too slow and lacking sufficient flexibility. ...
The ARM architecture is a power-efficient design that is used in most processors in mobile devices a...