|
|
|
|
Home / Computers / Software / Operating Systems / Microkernel / Flux-Fluke-Flask
|
| Categories |
|
|
- Computers/ Software/ Operating Systems/ Microkernel/ Mach/ GNU_Hurd@ (13)
|
|
|
|
|
Web Sites
|
- Flux Research Group - 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 management, & active networks. 5) Khazana infrastructure for distributed shared state.
www.cs.utah.edu/projects/flux
|
|
|
|
|