On Sat, Jul 27, 2013 at 11:42 AM, Jonathan S. Shapiro <[email protected]>wrote:
> On Sat, Jul 27, 2013 at 11:11 AM, Ian P. Cooke <[email protected]> wrote: > > >> you need to access specific addresses (memory-mapped devices), >> > > Potentially for kernel or driver code. > I'd personally rather this not be the case and do it elsehow with something in the vein of termite and the devil idl compiler even if the output of this is linked in to the executable with other bitc object files when needed... http://www.ertos.nicta.com.au/research/drivers/synthesis/home.pml http://phoenix.inria.fr/software/past-projects/devil
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
