I thought this was interesting, does anybody know what Linux system they might be working with? Would it be any good? http://androidcommunity.com/samsungs-tizen-os-3-0-spotted-on-the-galaxy-s4-20130910/#readsoruce_bottom