diff --git a/repos/gems/run/sculpt.run b/repos/gems/run/sculpt.run index f57232fe2..95ccbd3ab 100644 --- a/repos/gems/run/sculpt.run +++ b/repos/gems/run/sculpt.run @@ -5,6 +5,10 @@ if {![have_spec x86] || [have_spec linux]} { proc depot_user {} { return [get_cmd_arg --depot-user genodelabs] } +if {[have_spec nova]} { + proc kernel_output { } { return "novga serial logmem" } +} + create_boot_directory import_from_depot [depot_user]/src/[base_src] \ @@ -192,6 +196,18 @@ install_config { + + + + + + + + + + + +