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

[MirageOS-devel] [cambridge] welcome Takayuki Imada

  • To: mirageos-devel <mirageos-devel@xxxxxxxxxxxxxxxxxxxx>
  • From: Anil Madhavapeddy <anil@xxxxxxxxxx>
  • Date: Tue, 18 Oct 2016 14:49:41 +0100
  • Cc: takayuki.imada@xxxxxxxxx
  • Delivery-date: Tue, 18 Oct 2016 13:49:47 +0000
  • Domainkey-signature: a=rsa-sha1; c=nofws; d=recoil.org; h=from :content-type:content-transfer-encoding:subject:date:message-id :cc:to:mime-version; q=dns; s=selector1; b=rMeIE/NNYe5ed0mGNUkRf ZXObIRwLGU/ctDUGlvtIeRzZ/5VfOmTOpo00dtaYaDNIyAsmh93eJmfkVk3x9oeB R1JV5jms5o899J3Oyq/8dJklhM9mw7xL4Fay1euRV+gwJQp/9+KzhfrCvTZJ7pc2 qUh7/h7AKvdXsrKwQI7lcE=
  • List-id: Developer list for MirageOS <mirageos-devel.lists.xenproject.org>

Dear Miragers,

I'd like to introduce Takayuki Imada, who is joining the Cambridge Computer Lab 
this week as a visitor for a year-long sabbatical from Hitachi in Japan.

Takayuki describes himself as a "software virtualisation guy" and the goal of 
his sabbatical is to experiment with various platforms for integrating 
unikernel tech, and particularly MirageOS, into network devices (including ARM 
as well as x86).

As part of this, he will taking a close look at the Mirage networking subsystem 
and how technologies such as SR-IOV passthrough can link up with the various 
Mirage backends (such as Xen where hardware passthrough is relatively mature, 
and newer backends such as Solo5 where some work needs to happen on Linux KVM 
and FreeBSD for equivalent functionality). 

His first step is starting to learn OCaml, and he attended the ICFP tutorial 
that Mindy and Gemma ran recently.  He is now using Real World OCaml as his 
reference text, so please do assist him with any questions he might have while 
we plug the documentation gaps in Mirage3.  If you're a network hacker (or 
otherwise!) feel free to find him in the CUCL in FW01.

Welcome Takayuki!


MirageOS-devel mailing list



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