alex/genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

base-linux: boost max open fds to the hard rlimit

Browse Source 
This patch increases the default limit of the maximum number of open
file descriptors to the hard limit of the system. This is needed for
complex scenarios, which require more FDs than the default of 1024
at core.

Related to issue #3581

Fixes #3721
This commit is contained in:
Norman Feske
2020-03-31 13:41:50 +02:00
committed by Christian Helmuth
parent 22d71d5a8b
commit 7bf47b1982
4 changed files with 26 additions and 19 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
repos/gems/run/leitzentrale.run
View File

@@ -350,15 +350,5 @@ build { server/lx_block app/menu_view app/sculpt_manager }
build_boot_image { lx_block menu_view sculpt_manager ahci-1.img }
if {[have_spec linux]} {
set max_fds [exec bash -c "ulimit -n"]
if {$max_fds < 4096} {
puts stderr "\nMaximum number of file descriptors is too low for this run script."
puts stderr "You may use the following command to increase the limit:\n"
puts stderr " ulimit -n 4096\n"
exit 1
}
}
run_genode_until forever

9
repos/gems/run/tiled_wm.run
View File

@@ -12,15 +12,6 @@ if {[have_spec odroid_xu]} {
exit 0
}
if {[have_spec linux]} {
set max_fds [exec bash -c "ulimit -n"]
if {$max_fds < 4096} {
puts stderr "\nMaximum number of file descriptors is too low for this run script."
puts stderr "You may use the following command to increase the limit:\n"
puts stderr " ulimit -n 4096\n"
exit 1
}
}
#
# Generate config