Sebastian Sumpf a7566c95df 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-02-14 16:53:37 +01:00

kernel/fiasco

JBD: Increase name buffer to 32K

2013-02-14 16:53:37 +01:00

l4

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

2013-02-14 16:53:37 +01:00

tools/preprocess

FOC/L4RE: Upstream revision 40

2013-01-11 17:00:47 +01:00

repomgr

FOC/L4RE: Upstream revision 40

2013-01-11 17:00:47 +01: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%