jeanrhum

Since I upgrade frequently, I think there is not too much difference. Armbian tools and firmware are updated as other packages. Of course there should be some specific modifications of Balbes after each update he made.
If 5.41 has mali, it is useless for me since I use my box as a server.

I'm currently running a Beelink GT1 ultimate (S912, 3Go DDR4, 32Go) with your armbian 5.37 based on 3.14.29 debian stretch without specifying any dtb file.  It is used as a server with openmediavault and homeassistant. I'm running armbian from sd card.
I just made upgrades and got armbian-config 5.64 with an uptime of 70 days.

I'm currently running a Beelink GT1 ultimate (S912, 3Go DDR4, 32Go) with your armbian 5.37 based on 3.14.29 debian stretch without specifying any dtb file.  It is used as a server with openmediavault and homeassistant. I'm running armbian from sd card.
I just made upgrades and got armbian-config 5.64 with an uptime of 70 days.

Hi,
 
I saw you tested your Up board based on atom z8300, so I tested my x5 based on z8350: http://ix.io/1lwg
However, I have only manjaro installed on it and cpufreq is not reported, nor the soc temperature, so maybe this numbers are not relevant for you.
 

You'll see here the state of 4.55 images of Balbes:
In my case I only test successfully debian stretch server image.
 
@Didi, don't forget to use aml_autoscript.zip to update your bootloader (see 1rst post of s905 topic) so that it tries first to boot to sd card. If your dtb file isn't good, you'll not be able to boot even in android if your sdcard is plugged in.

You can actually buy Ugoos UT3S 2GB/16GB on gearbest for less than 40$ (or 36.50€) with GBUT3S coupon: http://www.gearbest.com/tv-box/pp_141997.html?wid=21&lkid=10695139
There is already a dualboot between android and ubuntu, so it's maybe easier to port armbian to it.
 

You can actually buy Ugoos UT3S 2GB/16GB on gearbest for less than 40$ (or 36.50€) with GBUT3S coupon: http://www.gearbest.com/tv-box/pp_141997.html?wid=21&lkid=10695139
There is already a dualboot between android and ubuntu, so it's maybe easier to port armbian to it.
 

To summarize the discussion because it was difficult for me to follow all the answers. The initial objective was to identify a software to manage and process the documentation:
- current input format is markdown
- 2 output formats are expected: html and pdf

Identified solutions:
- mkdocs seems interesting (simple and configurable) to generate static html pages
- pandoc can generate pdf with toc from many document formats
- github wiki is based on markdown and offers a simple way to generate html doc as we can see with current redirection.

Personnally, I used Sphinx for a previous project to generate from the same input files an html documentation and a pdf report (in fact generate latex and then pdf). The input format is restructured text, but markdown can be easily translated to that close language (e.g. with pandoc) more especially if there are already files for each section of the doc. I'm not sure this is the best solution for current case.

One major issue is to define how people can contribute while keeping documentation structure with valid permalink:
- public wiki solutions don't fit this requirement even if it is easy to rollback when problem occurs.
- pull requests on a git repository for the documentation can be chosen, it requires that admins of this repo validate and integrate contributions, but it may offer more guarantee about structure preservation.

The content of the documentation and its structure should also be addressed, but perhaps in another topic.