ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-18 02:40:08 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

nova: remove deprecated 'register' keyword

Browse Source 
Fixes #3350
This commit is contained in:
Christian Prochaska 2019-05-14 16:22:26 +02:00 committed by Christian Helmuth
parent 05a382b1a8
commit 934ada72fa
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
repos/base-nova/ports/nova.hash
View File

@ -1 +1 @@
82de2badb4ce1466db3d90ad5da41153134e15ea
ed5af2872f2aadb193301fd3a6d64f5b09a3609d

2
repos/base-nova/ports/nova.port
View File

@ -4,7 +4,7 @@ DOWNLOADS := nova.git
# r10 branch
URL(nova) := https://github.com/alex-ab/NOVA.git
REV(nova) := eef83cd3f7a25555e0fb8e29950a0ae436b7bc1c
REV(nova) := 4276528a5c01f0429e5f1d204b80860547c8fa12
DIR(nova) := src/kernel/nova
PATCHES := $(sort $(wildcard $(REP_DIR)/patches/*.patch))