Re: licensing of intloop() in libddekit/interrupt.c

[Samuel Thibault]

Robert Millan, on Tue 10 Nov 2015 21:54:36 +0100, wrote:
> El 10/11/15 a les 14:24, Antti Kantee ha escrit:
> > On 08/11/15 20:39, Robert Millan wrote:
> >> El 08/11/15 a les 20:45, Da Zheng ha escrit:
> >>> Hello Robert,
> >>>
> >>> Sure, I have no problem with the license.
> >>
> >> Excellent!
> >>
> >> I have thus merged the remaining bits of GNU/Hurd port which included your 
> >> code:
> >>
> >>    
> >> https://github.com/rumpkernel/pci-userspace/commit/a9202c047ff191c752d62c1d03c843f1737c33ba
> >>
> >> with this commit the port is now complete. Many thanks :-)
> > 
> > Great that something around here is complete ;)
> > 
> > Is it possible to easily make Travis CI build test that implementation?
> 
> Not that I know of. But I've seen some Jenkins-based testing for the Hurd by
> lurking on this list:
> 
>   https://jenkins.debian.net/job/g-i-installation_debian_jessie_hurd_lxde/66/

Yes, there are d-i tests, but they are failing more often than not due
to the weight of kvm-over-kvm used there, which gnumach doesn't cope
with.

Samuel