Sebastian Sumpf ff7ce2a41a Fiasco.OC: fix io-port fault answer in sigma0 ...

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'

2013-07-16 12:23:14 +02:00

kernel/fiasco

JBD: Increase name buffer to 32K

2013-07-16 12:23:14 +02:00

l4

Fiasco.OC: fix io-port fault answer in sigma0

2013-07-16 12:23:14 +02:00

tools/preprocess

FOC/L4RE: Upstream revision 47

2013-02-20 12:17:17 +01:00

repomgr

FOC/L4RE: Upstream revision 56

2013-07-16 12:18:56 +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%