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

..

server

Sigma0: fix io-port allocation fault answer

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

Control

FOC/L4RE: Upstream revision 72

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

Makefile

FOC/L4RE: Upstream revision 72

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