what is the status of linux mainline support for Edge-V ? At least device tree etc stuff?
See the post below which include some device but not the one from Khadas. Did devs get their sample device etc?
http://lists.infradead.org/pipermail/linux-rockchip/2019-April/024282.html
PS: Mainline Linux support is key for success of such an device.
@balbes150 asked this to
https://forum.khadas.com/t/information-for-numbqq-terry/1253/276
We will try to send basic DTS support to upstream next month, you know that we don’t have much experience about this, but we will try…
@numbqq Well you should gain more experience in the Mainline stuff. A lot of Brends did not success as they should because of lack of Mainline support.
You could contact some Linux mainline developers and contribute them a device, but they will of course need you and all information of what that device can == Specification like in link @balbes150 posted.
@numbqq You gain experience from doing. Mailing lists are nowhere near as simple as sending a PR on github, but if I can figure out how to send changes upstream it’s not impossible! 
Mainline linux support for Edge will be merged to mianline kernel in linux 5.3.
https://patchwork.kernel.org/patch/10984227/
I will try to send u-boot patches to upstream…
Great work, thanks for making the effort to upstream this! Upstream kernel support makes development, ongoing maintenance and support of systems built on the Edge series so much easier. 
I’ll try to give that branch (or -next or mainline if it’s made it that far by then) as thorough a test & check as I can for you when the Edge board I bought for testing arrives.