A Linux-based OS designed to run on various different devices.
A tool that creates DocBook XML from Javadoc or HTML and transforms DocBook to various output formats.
