[Barrelfish-users] Flounder manual

[Maffpa Tuzeyko]

Hello,

Animesh Trivedi's MSc thesis makes a reference to Flounder DSL manual, which I'd like to read. But, unfortunately the manual doesn't seem to be linked from the Barrelfish webpage. Could please let me know the URI to the manual or email it to me (I don't mind if it's in a draft form)? If there are any other papers that discuss Flounder, I'd appreciate it if you could also mention those.

Thanks,
M.