Sebastian Sumpf fb95a7ef38 Sigma0: fix io-port allocation fault answer ...

In sigma0 normally no answer tag to a request/fault is created. It
simply uses the message tag received with the request. This doesn't work out
when I/O ports are requested. This patch constructs an appropriate answer tag.
Moreover, we have to enable I/O port protection in the kernel configuration.

Was: 'sigma0_ioport.patch'

2017-05-03 13:33:08 +02:00

kernel/fiasco

FOC: change l4_task_cap_equal semantic

2017-05-03 13:27:24 +02:00

l4

Sigma0: fix io-port allocation fault answer

2017-05-03 13:33:08 +02:00

COPYING-GPL-2

FOC/L4RE: Add license

2017-05-02 15:25:28 +02:00

repomgr

FOC/L4RE: Upstream revision 72

2017-05-02 15:25:27 +02:00

Description

No description provided

25 MiB

Languages

C 66.5%

C++ 20.5%

Assembly 6.7%

Makefile 3.2%

Perl 1%

Other 1.9%