@misc{indiciae3613884ac74a,
  title = {A Hardware Time Manager Implementation for the Xenomai Real-Time Kernel of Embedded Linux},
  author = {Pierre Olivier and Jalil Boukhobza},
  year = {2012},
  url = {https://arxiv.org/abs/1208.6428},
  note = {Source identifier: 1208.6428}
}