Microkernel on reconfigurable ARM-FPGA platform

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

1 David Geffen School of Medicine [Los Angeles]
2 IETR - Institut d'Electronique et de Télécommunications de Rennes
3 IETR - Institut d'Électronique et des Technologies du numéRique

This paper proposes a custom microkernel on a ARM-FPGA platform which is capable of managing reconfig-urable hardware parts dynamically. After describing the hardware platform on which the microkernel has been ported, We will focus on the proposed microkernel and the custom specific system task dealing with the reconfiguration management. Scheduling mechanism will also be discussed in this paper.

Mots clés: FPGA; embedded system; reconfigurable architectures; microkernel

Domaines: Systèmes embarqués; Electronique

Tian Xia, Jean-Christophe Prévotet, Fabienne Nouvel. Microkernel on reconfigurable ARM-FPGA platform. GDR SOC/SIP, Jun 2014, Paris, France. ⟨hal-01905758⟩