No software at all??

Story: Flemish voting machines to run on Linux operating systemTotal Replies: 0
Author Content
WorBlux

Jul 25, 2012
7:40 PM EDT
I'd bet it has some sort of firmware to load the kernel on the USB drive.

Why didn't they use s4, or some other formally proven microkernel?

Posting in this forum is limited to members of the group: [ForumMods, SITEADMINS, MEMBERS.]

Becoming a member of LXer is easy and free. Join Us!