Re: Trouble porting linux driver to DDE Kit