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

nova: kernel fix for more than 4096 processes

Browse Source 
Fixes #1951
This commit is contained in:
Alexander Boettcher 2016-05-26 22:16:51 +02:00 committed by Christian Helmuth
parent 468ebebbda
commit 74030a2e38
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 @@
03e653d58b4e77d1a852861ea993f852703249e0
4798a5d458701c1e4b3dcad356900b22448ee9e8

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

@ -4,7 +4,7 @@ DOWNLOADS := nova.git
# r9 branch - use r9_debug for more verbose kernel messages
URL(nova) := https://github.com/alex-ab/NOVA.git
REV(nova) := a6c96d2b52ff73e132045ddbe217e83c910c3cc0
REV(nova) := a1dc2f7592aded687a17e089ba281f7e444f3100
DIR(nova) := src/kernel/nova
PATCHES := $(wildcard $(REP_DIR)/patches/*.patch)