6 Commits

Author	SHA1	Message	Date
Stefan Kalkowski	8f71c90ca8	dde_rump: backport aarch64 (Fix #3565)	2019-12-19 16:59:03 +01:00
Emery Hemingway	20f7f5b64f	VFS Rump: print file-system usage stats at mount time ... Fix #3174	2019-02-26 14:45:20 +01:00
Emery Hemingway	c0ed3ca2bd	Vfs Rump watch support ... Implement watch support using the BSD kevent facility. Test at run/fs_rom_update_ext2. Ref #1934	2018-04-10 11:11:51 +02:00
Norman Feske	366bba0227	Exclude higher-level repos from strict warnings ... This is a follow-up commit to "Increase default warning level", which overrides Genode's new default warning level for targets contained in higher-level repositories. By explicitly whitelisting all those targets, we can selectively adjust them to the new strictness over time - by looking out for 'CC_CXX_WARN_STRICT' in the target description files. Issue #465	2018-01-17 12:14:36 +01:00
Sebastian Sumpf	38abfc79f5	rump: reduce size of rump ... * integrate rump's contrib code into Genode's build system and build what is required by Genode, only * checkout needed NetBSD sources directly from CVS fixes #2589	2017-11-30 11:23:19 +01:00
Norman Feske	ca971bbfd8	Move repositories to 'repos/' subdirectory ... This patch changes the top-level directory layout as a preparatory step for improving the tools for managing 3rd-party source codes. The rationale is described in the issue referenced below. Issue #1082	2014-05-14 16:08:00 +02:00