3 ms·
Can't see where you save with microkernel for embedded systems. You get the same as pre-configured monokernel plus the IPC overhead.
by varjag 5y ago
Can't see where you save with microkernel for embedded systems. You get the same as pre-configured monokernel plus the IPC overhead.
- pjmlp 5y agoQNX, vxWorks, INTEGRITY,...
- varjag 5y agoThat doesn't address my point. Do you really appreciably save on binary footprint simply by using QNX versus trimmed down Linux kernel build?
- yakubin 5y agoWhile QNX is mentioned, does anyone know of any materials detailing the implementation of MX tables in QNX? I've stumbled upon a brief synopsis[1] of what they do, but it lacked implementation details (such as: do the entries need to be aligned on page boundaries? how many copies are made at the end? etc. etc.). [1]: <https://cseweb.ucsd.edu/~voelker/cse221/papers/qnx-paper92.pdf https://cseweb.ucsd.edu/~voelker/cse221/papers/qnx-paper92.p...>
- jhgb 5y agoNow that you have safe AND performant languages like Rust or Oberon, what is the reason to not have exokernels for these applications?
- pjmlp 5y agoI guess a mix of industry not wanting it until security is a legal liability, type 1 hypervisors, microservices and containers being used to tame monolithic kernels into pseudo-microkernels, hiring practices,....