uint64_t OR l4_uint64_t

[Naghizodeh,T.A-H]

Today I got the source again from

(git.savannah.gnu.org/hurd/viengoos.git )

 then switch to  viengoos-on-bare-metal

 Got the cross-compiler and so.

 

 As i'd trying to fix some of my problems i saw

 at the file i named bellow some mistake might occurred.

 

        /libviengoos/t-addr.c

        line 67 >              l4_uint64_t used ,but doesn't declared!

                               even at <l4/type.h>

                               Does uint64_t mistyped as l4_uint64_t?

                              (uint64_t had declared at hurd/addr.h)

                              

-Naghizodeh