micro-kernel.l4.l4ka.general (thread)

CfP - Workshop on Isolation and Integration in Embedded Systems (IIES 2008) at EuroSys, Michael Engel
DMA related cache coherency issues, Sebastian Gregorzyk
- RE: DMA related cache coherency issues, Jan Stoess
some question about access I/O memory in Pistachio, 于爱民
- Re: some question about access I/O memory in Pistachio, Espen Skoglund
- Re: some question about access I/O memory in Pistachio, 于爱民
  - Re: some question about access I/O memory in Pistachio, Espen Skoglund
RE: Grub cannot boot kickstart - error 13, Jan Stoess
RE: Fast IPC path on IA32, Jan Stoess