microkernel

Most of the times when an invocation fails it calls userError to provide some additional diagnostics about what is going wrong.

However, there are a few places over the kernel where this is missed. It would be great to have this in all places.

As an extension it would be even better to include additional diagnostics information on the failure. For example:

    if (length < 6 || cur

Thor currently creates objects over the mbus protocol at various places (see below for a list); it does that by directly constructing protocol messages. To make the code more maintainable (e.g., such that we can later restructure the architecture of mbus and resolve issues #158 #159 #160), it would be beneficial to refactor Thor to use an abstraction over mbus instead. This abstraction can be simi

The EFI stub enables to boot Resea directly without EFI boot loaders.