Help: /setup_config
the (unofficial) 'Genode Book'
Not logged in
Home
Timeline
Files
Branches
Tags
Tickets
Wiki
Login
Command-List
The "/setup_config" page:
The "Admin/Configuration" page. Requires Setup privilege.