Re: epoll under Linux emulation (or how to get Isabelle running on NetBSD)

[christos%astron.com@localhost (Christos Zoulas)]

In article <bbeab408-db6a-6f10-9c13-bdf6fedf645e%kerguelen.org@localhost>,
Jaap Boender  <jaapb%kerguelen.org@localhost> wrote:
>Hi list,
>
>Having recently switched jobs, I'm now expected to do my work in 
>Isabelle rather than Coq, so naturally I tried to run it under NetBSD.
>
>Running it natively is basically out of the question - it's got a very 
>customised (the nice way of saying it) build system that I'd need to 
>spend a lot of time to understand, let alone adapt to use NetBSD.
>
>So, next possibility - Linux emulation. Isabelle itself seems to run 
>pretty okay, but it uses JEdit as its GUI, which in turn uses the epoll 
>mechanism (through OpenJDK). As per kern/48584 this is not supported, 
>but it does seem that there is something called libepoll-shim that might 
>make things easier now.
>
>The question is really, is anyone possibly working on adding that to the 
>Linux emulation layer, or how difficult would it be, do people estimate? 
>There's a couple of other solutions I might try (suggestions are 
>welcome!), but this does seem the least painful one, and epoll on the 
>Linux emulation might be something nice to have anyway, I'd imagine (no 
>matter what you might think of epoll in and of itself).

FreeBSD-current has epoll emulation for compat-linux implemented using
kqueue. You could copy that.

christos