2 ms·

Any ideas why this service is in the kernel? https://www.kernel.org/doc/html/latest/networking/tipc.html https://www.kernel.org/doc/html/latest/networking/tipc.

Any ideas why this service is in the kernel? https://www.kernel.org/doc/html/latest/networking/tipc.html https://www.kernel.org/doc/html/latest/networking/tipc.html doesn't seem to give provide the motivation.

snvzz 5y ago
Bad architecture. Refer to seL4 for a less broken one.