I found it very opaquely worded the whole way through. I think the work being presented is simply an implementation of the technique in eduos, but short of going and reading the paper I don’t know.

It’s a bachelor’s thesis.

"There is only a single reference5 dated to 2010 indicating that Microsoft might use a similar approach for its NT kernel."