02/10/2018 11:59, Burakov, Anatoly: > This looks like a gap in our documentation. There should be a place > where we can describe all EAL parameters. Since they can be OS-specific, > it probably should be somewhere under Linux/FreeBSD GSG. Thoughts?
I agree