6 Commits

Author	SHA1	Message	Date
Emery Hemingway	4a3fc21ada	New watch handle mechanism for File_system session ... File_system clients may now watch files and directories for changes by opening a 'Watch_handle' rather than submitting a 'CONTENT_CHANGED' packet to the server. When a change happens at a node with an open Watch_handle a CONTENT_CHANGED packet will be sent from the server to the client. This serializes registration with other handle operations and separates I/O handle state from notification handle state. Test at run/fs_rom_update. Ref #1934	2018-02-14 20:41:09 +01:00
Christian Helmuth	b0683a5acf	Increase test RAM quotas for sel4 64-bit	2017-11-06 13:57:23 +01:00
Christian Prochaska	04f82721b1	fs_rom_update.run: add capability quota ... Fixes #2453	2017-06-29 11:59:54 +02:00
Christian Helmuth	8bd0efced6	Remove obsolete RAM/CAP services from run scripts ... Adapted launchpad and also the rm_fault and resource_request tests. Issue #2407	2017-05-31 13:16:22 +02:00
Stefan Kalkowski	0fb672b493	run: use default Qemu memory size for x86 ... Fix #2428	2017-05-31 13:16:19 +02:00
Emery Hemingway	24a9537a27	File_system: replace per-handle signals with notification packets ... Replace registration and signaling of per-handle signal capabilities with CONTENT_CHANGED notification packets. Fix #2397	2017-05-31 13:16:01 +02:00