Original [issue 83](https://code.google.com/p/inferno-os/issues/detail?id=83) created by inferno-os on 2007-12-27T20:26:24.000Z:
See problem encountered on Inferno-ds project at:' http://code.google.com/p/inferno-ds/issues/detail?id=1
(I'm not sure if that's the appropriate way to report this, but I thought linking it might help)
Comment [
#1](https://code.google.com/p/inferno-os/issues/detail?id=83#c1) originally posted by inferno-os on 2008-06-05T12:25:13.000Z:this seemed to be a problem specific to the way the arm7 mkfile was configured for that project, so i'll remove it from here.