The World first unhackable kernel of SEL4 is available now open source with end-end identification and security in the kernel of the OS.
The Data61 is the Australian National research agency was developed as unhackable kernel. It is called ‘SEL4‘ ,
They had used some mathematical operation which has the unhackable property of mathematical.
Sel4 is the 3th generation microkernel, which is designed to secure and detect from cyber attackers.It also support many features of L4 microkernel such as:
- High Performance
- Dense size
- Least privilege.
- Enforced Security model.