wok-tiny log linux/receipt

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