diff --git a/repos/base-nova/ports/nova.hash b/repos/base-nova/ports/nova.hash index a880e6342f..2a32ad9424 100644 --- a/repos/base-nova/ports/nova.hash +++ b/repos/base-nova/ports/nova.hash @@ -1 +1 @@ -89e077c8c83aa0e1dd51f2222139412eea1c5f0f +69d4698190aa64ecf18aff1c9cf58cd0cf84c689 diff --git a/repos/base-nova/ports/nova.port b/repos/base-nova/ports/nova.port index d71aa17d87..45bba841fc 100644 --- a/repos/base-nova/ports/nova.port +++ b/repos/base-nova/ports/nova.port @@ -4,7 +4,7 @@ DOWNLOADS := nova.git # r10 branch URL(nova) := https://github.com/alex-ab/NOVA.git -REV(nova) := 6b593c302a2e95f288a423ec3cc7ec3ba0d5653b +REV(nova) := f04f501c87ea37207b655bd0a787a2c0b363a967 DIR(nova) := src/kernel/nova PATCHES := $(sort $(wildcard $(REP_DIR)/patches/*.patch))