[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: camlSys__entry vs. FreeBSD kmod

On Wed, Jul 11, 2012 at 03:23:30PM +0100, Anil Madhavapeddy wrote:
> the logic is in the OS.Main.run module in mirage-platform (which implements 
> an OS
> module for either POSIX or Xen at the moment, and will have an extra
> directory for kFreeBSD with your kernel-specific bindings in it).

Right, I then continue with the investigation of that.

> Summary: the callbacks working and executing code in the kernel is a very 
> good thing! :)

Yeah :-)

By the way: is there some de-initialization routine for the caml run-time?
After each kernel module unload, I got this fancy message:

Warning: memory type caml leaked memory on destroy (10 allocations, 1581136
bytes leaked).



Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.