Sebastian Sumpf e8d92225e4 FOC: Fix in kernel 'Op_cache_dma_coherent' ...

'Mem_unit::flush_dcache' takes void pointers as arguments, no need to take the
given void pointers ('start' and 'end') and transform them to
'Virt_addr(Address(x)' types. This breaks cache flushing in r72.

2017-11-07 17:59:58 +01:00

kernel/fiasco

FOC: Fix in kernel 'Op_cache_dma_coherent'

2017-11-07 17:59:58 +01:00

l4

L4RE: get rid of __builtin_strlen usage

2017-05-30 09:03:57 +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%