OpenBSD内核输出信息重定位到文件

bupt_zhangzhao

我在做OpenBSD内核网络模块的改写工作，想把调试信息输出到文件中。具体问题如下：
1.我想用printk函数，然后用dmesg转储到文件，但是发现OpenBSD不支持printk函数。
2.虽然可以用printf直接输出到stdout，但是会在短时间内产生大量的信息，而且OpenBSD不支持翻屏幕。
3.内核中也不支持像fprintf这样的函数。
请问大家，我该如何将信息存储到文件呢？
另外，大家都是如何调试内核代码的？有没有类似gdb的东西？有没有相关资料或工具？我上网找资料时发现Linux的很多，但是OpenBSD的资料少得可怜。在这里请教一下大家。