Hello,
Thanks for this guidance.
I am now able to start any tinycore with correct configuration, after I had watched the video.
Cheers, 

Le mar. 24 févr. 2026 à 15:06, Alexander Boettcher via users <users@lists.genode.org> a écrit :
Hello,

On 2/21/26 13:19, Parfait Tokponnon via users wrote:
> I want to install and use TinyCore - Seoul via Sculpt, but regardless of
> the configuration I select, the “Add component” button never appears to
> allow me to start the virtual machine.

You have to select for _all_ entries a valid routing to a service, otherwise
it is indeed good not to get the button. Which one you can't fulfill ?

Check also the documentation or the Walkthrough video for a good start
https://genodians.org/nfeske/2025-01-30-sculpt-os-walkthrough

> Could you please advise me on the appropriate procedure for the current
> version of Genode/Sculpt (25.10) so that I can start TinyCore correctly?

There are ready-to-use VMs by jschlatow (vbox6) and alex-ab (seoul), which are Tinycore based. You just have to manage the first step above.

Cheers,

Alex

--
Alexander Boettcher
Genode Labs

https://www.genodians.org - https://www.genode.org

_______________________________________________
users mailing list -- users@lists.genode.org
To unsubscribe send an email to users-leave@lists.genode.org
Archived at https://lists.genode.org/mailman3/hyperkitty/list/users@lists.genode.org/message/M4GB4UYEWY2FSF5T44S7NXDR2E42E3G2/