wok-tiny log base-tiny/stuff/etc/profile

age author description
2015-10-02 Pascal Bellard Refresh, remove kernel*, add linux