4 Commits

Author	SHA1	Message	Date
Sebastian Sumpf	10485b0d39	run: rename 'check_installed' to 'installed_command' ... Also remove 'requires_installation_of', while also checking sbin directories in 'have_installed'. The run scripts have been adjusted accordingly. Fixes #2853	2018-07-03 09:39:31 +02:00
Josef Söntgen	1d6d6966a1	rump: add knob to set memlimit ... By now, rump would query its available RAM quota to determine the memory limit minus some RAM reserved for Genode meta-data. This does not work when the VFS rump plugin is used as the available quota belongs to the VFS server. In this case the memlimit should be set by specifing the RAM in the plugin's config, e.g.: ! <vfs> ! <rump fs="ext2fs" ram="64M" writeabl="yes"/> ! </vfs> Fixes #2783.	2018-05-03 15:31:23 +02:00
Norman Feske	97317b0c95	terminal: change term caps from linux to screen ... Fixes #2743	2018-04-10 11:20:43 +02:00
Stefan Kalkowski	bac3d620c6	vfs/rump_fs: test for ext2 file deletion ... Ref #2621	2018-01-17 12:14:34 +01:00