smp

Replace concrete Bastion Executor with Agnostik.
So everyone can use whatever they want as guarantee.

Is your feature request related to a problem? Please describe.
When UART input or PS/2 keyboard support is added, we can add debug keys support for various runtime actions.

Describe the solution you'd like
I would implement a register_debugkey(key, callback, help_msg) interface to assign callback functions to dedicated key combinations.

I would support the following keys:

• [ ]

Current State of the GetNighthawk.dev site

The nighthawk project doesn't have required OG (Opengraps) tags

Desired State of the GetNighthawk.dev site

Add required og: tags for the image so that it has a preview

Lock primitives (spinlock, mutex, semaphore, rwlock) should all have their is_locked() function.

This could be used in debugging assertions to make sure some golden rules are respected all along the kernel (lots of functions are assuming that some datas are already locked etc.).

Biggest beneficiaries are the vaspace_* functions. They assumes current thread and current virtual add