DaemonOnUnix / Raccoon-exok

Implementation of an easily customizable exokernel
Other
22 stars 3 forks source link

Writing documentation #6

Closed nathan-rabet closed 2 years ago

nathan-rabet commented 2 years ago

Where is the documentation ?

The project is interesting, but without documentation, it's hard to contribute.

Suggestions (necessary)

In order to guide new contributors, it seems necessary to :

For me, a good example is the README of the Removed Private Publicity project. Because it explains what was done, what are the features and what is the project architecture.

You need to tell how your project is running => bootloader start here, then the functions defined in the file xxx.h are called for that and that in the initialization of XXX, etc....

For me, an example of a good header documentation is in include/net/netfilter in the Linux kernel.

For single function definition, Doxygen seems to be a good documentation tool.

Suggestions (optional)

Also, if you don't want to lose time when someone create a PR, you can create a coding style.

By coding style I include formatting and file organisation.

DaemonOnUnix commented 2 years ago

Hi,

I noted this. There are two facts you should consider. First, it isn't a kernel in a traditional sense, and then, specification is being done in private groups. This is a very strange kind of kernel and things are moving quickly.

Then, contributions are mostly awaited in LibOSes, the actual goal for the kernel being a pki creation.

You can do what you want in the LibOS. Kernel shouldn't be touched by any contribution. It will be stabilized by the end of the summer.

You can also look at the conference replay to understand what happens an what are the goals, and the code is really little and understandable. Including non osdev contributors told me that.

Regards,

Daniel