system.h missing /dev/dma_0, but DMA device is in the top.socpinfo file

Figure I will test the DMA for the current design by having the System set up the DMA via Lauterbach script , ( system = system ARM system connected to the FPGA card via PCIe link ).

That worked before ... assuming that works fine , I would expect some HAL issue and will go to Simulation , but I would need to set up that environment.

Is there a more detailed HAL document that may cover.

1) "free standing mode" and the inititial calls inserted by template . ie

alt_irq_init (ALT_IRQ_BASE);

alt_io_redirect (ALT_STDOUT, ALT_STDIN, ALT_STDERR);

2) The call back function ... is it called by an interrupt handler where the DMA is interrupting to indicate the transfer is done.

3) Better description of the DMA controller default setting with the HAL and the use of the ioctl() calls.

Thanks, Bob.