[K42-discussion] x86/gcc4 port status

[Patrick G. Bridges]

For those who are interested:

I'm still working my way through the linux-030/kitchsrc source trees  
getting everything to compile on debian etch gcc4.1/x86_64. What's  
currently done is generation of all of the k42 stubs by stubgen, and  
compilation a number of the base k42 libraries compile (libbase.a,  
libemu.a, libsrv.a, libk.a, libemu.a, libfs.a, libnative.a). In  
addition, I reworked portions of the arch/k42 directory in linux-030  
so that existing x86_64 and machine-independent k42 linux objects now  
compile into the object files that k42 will need there. Back on the  
kitchsrc side, I'm working through liblk.a right now (which is a  
royal pain with include files).

After that, the main issue will be be linking the kernel and servers,  
and putting in basic x86/64 basic boot functionality. This will,  
needless to say, require stubbing out a number of different functions  
and then writing them as I work my way through the k42 boot process.  
I'm hoping to have compilation of existing source done by the middle  
of next week, and stubbing out of newly-needed source and linking  
done by mid-october.

-Patrick