|
|
|
|
|
by kuschku
3066 days ago
|
|
seL4? Other microkernels optimized for secure use cases? If you wish, you can put the actual UI in a separate chip, with more modern hardware, handling rendering and input. But please, do not run the control logic for the ATM on a desktop OS |
|