Add kernel,stdlib to application listing