Files: /kernel/platform/example-configs.html