Due to copyright issues, we're not distributing the actual papers here. You can get them via the following links:

• The Flux OSKit: A Substrate for OS and Language Research:
  long paper appearing in the 16th ACM Symposium on Operating Systems Principles.

• The Flux OS Toolkit: Reusable Components for OS Implementation:
  short paper appearing in the Sixth IEEE Workshop on Hot Topics in Operating Systems.