Anyone trying oskit-mach needs to first try some oskit example kernels. If the basic "hello" and "multiboot" example kernels work on your hardware, then move on to some example kernels that use the disk and ethernet. Only once you are happy with the generic oskit situation on your hardware should you start to worry about debugging oskit-mach itself.