diff --git a/repos/base-nova/ports/nova.hash b/repos/base-nova/ports/nova.hash index f327472bed..d4f3dbe3fe 100644 --- a/repos/base-nova/ports/nova.hash +++ b/repos/base-nova/ports/nova.hash @@ -1 +1 @@ -33fbac63a46a1d91daa48833fb17e0ab4b0a04c7 +ee0aec8bb0626c61e73bc3c12d6cb5bf36ca9f79 diff --git a/repos/base-nova/ports/nova.port b/repos/base-nova/ports/nova.port index 4a683c12b7..94533b64de 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) := 3e34fa6c35c55566ae57a1fd654262964ffcf544 +REV(nova) := 2c8839886ad502be654273c0ac4cddca50432e86 DIR(nova) := src/kernel/nova PATCHES := $(sort $(wildcard $(REP_DIR)/patches/*.patch))