Sebastian Sumpf 2c00e774ba 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'

2018-06-25 16:07:07 +02:00

kernel/fiasco

FOC: change l4_task_cap_equal semantic

2018-06-25 16:06:47 +02:00

l4

Sigma0: fix io-port allocation fault answer

2018-06-25 16:07:07 +02:00

COPYING-GPL-2

FOC/L4RE: Add license

2018-06-25 16:05:52 +02:00

repomgr

FOC/L4RE: Upstream revision 79

2018-06-25 15:44:17 +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%