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

nova: kernel support for more than 4096 processes

Browse Source 
Fixes #1951
This commit is contained in:
Alexander Boettcher 2016-04-28 13:38:21 +02:00 committed by Christian Helmuth
parent 77c4510787
commit dccad4c526
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 @@
bde8909f6367ea2767c54b85ddf90afc2e6baee8 bb9d58f5ac87dd8be79dbedc2313987f667a8f44

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 # r9 branch - use r9_debug for more verbose kernel messages
URL(nova) := https://github.com/alex-ab/NOVA.git URL(nova) := https://github.com/alex-ab/NOVA.git
REV(nova) := 8548c34df01504789b01f4e1a31b71e6d08a79c7 REV(nova) := 0ef46984090f357abc484973d4b145f5c6c99d5c
DIR(nova) := src/kernel/nova DIR(nova) := src/kernel/nova
PATCHES := $(wildcard $(REP_DIR)/patches/*.patch) PATCHES := $(wildcard $(REP_DIR)/patches/*.patch)