I am looking for the following answers but could not get an answer on the website.

1. I understand the Genode can be made with multiple kernels such as OKL4, seL4, and Nova, as well as your own kernel named hw? However, it was not obvious which kernel is used by sculpt.

2. Where can I find the application list that runs on sculpt? Like browsers, databases etc?

Thanks,

Sid