genode/repos/os/src
Josef Söntgen e233fe0b71 os: add component for filtering USB devices report
The 'usb_report_filter' component takes the devices report from the
USB driver and generates a new devices report after checking each
entry against its device white-list. Before emitting the new report
it changes the configuration of the USB driver to contain the
required policy entries.

See 'repos/os/src/app/usb_report_filter/README' for more details.

Issue #1863.
2016-01-27 16:15:34 +01:00
..
app os: add component for filtering USB devices report 2016-01-27 16:15:34 +01:00
drivers linux: remove lx_environ symbol from audio_drv 2016-01-26 16:20:38 +01:00
init Introduce 'spec' subdirectories to outline aspects 2015-09-16 13:58:50 +02:00
lib base: Dispatch server signal in entry point 2015-10-28 15:06:22 +01:00
server report_rom: update documentation of policy config 2016-01-26 16:50:20 +01:00
test blk-bench: don't write if not requested 2015-12-17 10:39:47 +01:00