diff --git a/repos/base-nova/ports/nova.hash b/repos/base-nova/ports/nova.hash index af0f8d944a..905bdba3ac 100644 --- a/repos/base-nova/ports/nova.hash +++ b/repos/base-nova/ports/nova.hash @@ -1 +1 @@ -2876dd57fafcaf860278d38368e7ba9a551393ab +d5f067a88da045f9fc6f9adb0ce532de0d4c047c diff --git a/repos/base-nova/ports/nova.port b/repos/base-nova/ports/nova.port index b3aa67a661..ef99ed7ffc 100644 --- a/repos/base-nova/ports/nova.port +++ b/repos/base-nova/ports/nova.port @@ -3,8 +3,8 @@ VERSION := git DOWNLOADS := nova.git URL(nova) := https://github.com/alex-ab/NOVA.git -# r6 branch -REV(nova) := f304d54b176ef7b1de9bd6fff6884e1444a0c116 +# r7 branch +REV(nova) := 2b4f2803218cf92e2982b47a370d60b18bb78a15 DIR(nova) := src/kernel/nova PATCHES := $(wildcard $(REP_DIR)/patches/*.patch)