/opendc-model-odc/setup/src/main/kotlin/platform/