12:27 <cnxsoft> Anybody has played with 9Tripod (九鼎创展) X3399 development board here? Is it only for the Chinese market or do they plan to sell it overseas too?

12:32 <phh> it's available?

12:32 <phh> I haven't heard of a single rk3399 board available

12:53 <cnxsoft> On Taobao. I'm studying about this. I'll write something tomorrow.

12:54 <cnxsoft> Almost everything is in Chinese, so for most people Fireffly-RK3399 will be a better option.

13:22 <paulk-collins> phh, the chromebook plus is out now :)

13:22 <phh> paulk-collins: really? I've heard it wasn't available

13:23 <paulk-collins> it started shipping a few days ago

13:23 <paulk-collins> but is under heavy demand, apparently

13:23 <paulk-collins> that's kevin

13:23 <phh> weird, my colleague checked on the 12 and the 13, and it was saying "in a month"

13:23 <phh> thanks

13:24 <paulk-collins> https://www.amazon.com/gp/product/B01LZ6XKS6/ref=as_li_tl?ie=UTF8&camp=1789&creative=9325&creativeASIN=B01LZ6XKS6&linkCode=as2&tag=chrome09d-20&linkId=02c7ecec0becf70387b37081930f9b86

13:24 <paulk-collins> says 4 in stock

13:39 <phh> paulk-collins: doesn't ship to france :(

13:40 <paulk-collins> huh, you're in France?

13:40 <phh> yup

13:40 <paulk-collins> small world

13:40 <paulk-collins> I have the same problem

13:40 <phh> :P

13:41 <paulk-collins> it should be shipping from the UK though

13:41 <phh> well you can ship from amazon.com, but it's not amazon.com who has the stock

13:41 <paulk-collins> alright, I see

13:42 <phh> (also if a UK version is available, it would be better than US, because of european keyboard)

13:42 <paulk-collins> the difference is only a few keys, isn't it?

13:43 <paulk-collins> I'm more used to the us qwerty layout personally

13:43 <phh> paulk-collins: return key format changes, and there is an additional <> key

13:43 <paulk-collins> oh ok, I didn't know

14:48 <rperier> we have an issue here with hdmi on the rk3288. HDMI is correctly working until we turn the screen off, then we turn the screen on and hdmi is not restored with get no signal (with 4.10-rc8)

14:48 <rperier> does this problem is known or not yet ?

14:48 <rperier> s/does//

14:49 <rperier> not sure that it can be reproduced with all screens

16:09 <rperier> it seems to be caused by a buggy state machine in dw_hdmi

17:08 <elkato> Hey guys. I know this channel is for linux on rockchip, but I've RK3066 tv stick with stock android 4.1, and was not booting. Linux penguins showed and then stayed in R-BOX screen. I connected to PC in flash mode and using RockChip Batch Tool restored an image (UG802 image). Upgrading/restore process completes OK, but no image at all when connecting to TV.

17:08 <elkato> What can be?