HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Microkernel dedicated for dynamic partial reconfiguration on ARM-FPGA platform

Abstract : This paper describes the first implementation of a custom micro-kernel on a ARM-FPGA platform capable of manag-ing reconfigurable hardware parts dynamically. After de-scribing the structure of the proposed micro-kernel, we will focus on a custom specific system task dealing with the re-configuration management, which is associated to a dedi-cated scheduling mechanism. We will describe the hardware platform on which the microkernel has been ported and pro-vide a use case application in order to demonstrate the fea-sibility of the approach. At the end of this paper, we will provide quantitative results in terms of reconfiguration over-head and microkernel timing performances.
Document type :
Conference papers
Complete list of metadata

Cited literature [8 references]  Display  Hide  Download

Contributor : Tian Xia Connect in order to contact the contributor
Submitted on : Wednesday, February 4, 2015 - 5:17:26 PM
Last modification on : Wednesday, April 27, 2022 - 3:53:32 AM
Long-term archiving on: : Tuesday, May 5, 2015 - 11:00:53 AM


Microkernel Dedicated for Dyna...
Files produced by the author(s)


Public Domain


  • HAL Id : hal-01113215, version 1



Tian Xia, Jean-Christophe Prévotet, Fabienne Nouvel. Microkernel dedicated for dynamic partial reconfiguration on ARM-FPGA platform. The 4th Embedded Operating Systems Workshop (EWiLi'14), Nov 2014, Lisbon, Portugal. pp.31 - 36. ⟨hal-01113215⟩



Record views


Files downloads