Microkernel dedicated for dynamic partial reconfiguration on ARM-FPGA platform

Tian Xia (1) , Jean-Christophe Prévotet (1) , Fabienne Nouvel (1)

1 IETR - Institut d'Électronique et des Technologies du numéRique

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.

Keywords: Real-Time Systems; FPGA; Microkernel; Reconfigurable Architectures; Embedded Sys-tem

Domains: Computer Science [cs]; Embedded Systems

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⟩