FEATURE: `NeLaunch`: Initialization System and C++ Framework.

[amlel-el-mahrouss]

Abstract

An C++ framework and executable to manage the NeKernel kernel.

References

• https://github.com/nekernel-org/nekernel/blob/develop/src/launch/LaunchKit/Foundation.h
• https://github.com/nekernel-org/nekernel/blob/develop/public/frameworks/LaunchHelpers.fwrk/headers/Foundation.h

Concept

Unlike UNIX init, the management of the system is done using primarily an SDK.
When you'd do the following in init:

init 0

You'd do in NeKernel:

LaunchHelpers::LHShutdown();

This function will return void, as a result of the halting problem. We can't be sure whether the program will still be running.