Flux-Fluke-Flask
1 link
Flux Research Group
cs.utah.edu
Utah: 5 main projects: 1) Fluke/Flask high-security kernel & OS. 2) Flick interface definition language compiler. 3) OSKit. 4) Java-based systems: operating systems, resource manag…