source: soft/giet_vm/sys/kernel_init.c

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @167   12 years alain Fix several bugs to use the vci_block_device with MMU activated
(edit) @166   12 years alain Introducing support for IOMMU
(add) @165   12 years alain Introducing various modifications in kernel initialisation
Note: See TracRevisionLog for help on using the revision log.