@incollection{os:reconos,
  title={Reconos: An operating system for dynamically reconfigurable hardware},
  author={L{\"u}bbers, Enno and Platzner, Marco},
  booktitle={Dynamically Reconfigurable Systems},
  pages={269--290},
  year={2010},
  publisher={Springer}
}

@article{os:embedded,
  title={Embedded Linux platform for data acquisition systems},
  author={Patel, Jigneshkumar J and Reddy, Nagaraj and Kumari, Praveena and Rajpal, Rachana and Pujara, Harshad and Jha, R and Kalappurakkal, Praveen},
  journal={Fusion Engineering and Design},
  volume={89},
  number={5},
  pages={684--688},
  year={2014},
  publisher={Elsevier}
}

@article{os:r3tos,
  title={R3TOS: a novel reliable reconfigurable real-time operating system for highly adaptive, efficient, and dependable computing on FPGAs},
  author={Iturbe, Xabier and Benkrid, Khaled and Hong, Chuan and Ebrahim, Ali and Torrego, Raul and Martinez, Israel and Arslan, Tughrul and Perez, JM},
  journal={Computers, IEEE Transactions on},
  volume={62},
  number={8},
  pages={1542--1556},
  year={2013},
  publisher={IEEE}
}

@inproceedings{os:capos,
  title={CAP-OS: Operating system for runtime scheduling, task mapping and resource management on reconfigurable multiprocessor architectures},
  author={G{\"o}hringer, Diana and H{\"u}bner, Michael and Zeutebouo, Etienne Nguepi and Becker, J{\"u}rgen},
  booktitle={Parallel \& Distributed Processing, Workshops and Phd Forum (IPDPSW), 2010 IEEE International Symposium on},
  pages={1--8},
  year={2010},
  organization={IEEE}
}