sculpt OS kernel and applications

[Sid Agrawal]

Hi,
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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20221226/673e5e4c/attachment.htm>