A REST interface for NetKernel management