1. Linux Device Drivers Development: Develop Customized Drivers for Embedded Linux;madieu,2017
2. Device tree schemas and validation;RFC 00/15,2013
3. SAT-based analysis of feature models is easy;mendonca;Proceedings of the 13th International Software Product Line Conference,2009
4. Bao: A lightweight static partitioning hypervisor for modern multi-core embedded systems;martins;NG-RES HiPEAC ser OASIcs,2020
5. A declarative language approach to device configuration;schüpbach;ACM Trans Comput Syst,2012