Open WIKI
  • Home
  • Sources
  • About
  • Contacts
☰

SeL4


seL4 is a microkernel.

It was developed by Trustworthy Systems. The microkernel is programmed in C.
WWW sel4.systems

Books

  • 1 Vineland 71,214
  • 2 Project Hail Mary 31,941
  • 3 Wuthering Heights 18,607
  • 4 Hamlet 15,928
  • 5 Hamnet (novel) 15,832
  • 6 Frankenstein 11,017
  • 7 Flowers in the Attic 10,307
  • 8 The Count of Monte Cristo 9,133
  • 9 Dune Messiah 8,113
  • 10 The Testaments 8,006

Films

  • 1 Sinners (2025 film) 622,394
  • 2 Hamnet (film) 295,777
  • 3 Weapons (2025 film) 223,917
  • 4 Mr Nobody Against Putin 163,645
  • 5 Marty Supreme 149,377
  • 6 KPop Demon Hunters 133,023
  • 7 Sentimental Value 129,966
  • 8 Bugonia (film) 112,650
  • 9 The Secret Agent (2025 film) 77,032
  • 10 All the Empty Rooms 73,731

Programming Languages

  • 1 Python (programming language) 4,694
  • 2 C (programming language) 4,564
  • 3 JavaScript 3,307
  • 4 Scratch (programming language) 2,739
  • 5 C++ 2,012
  • 6 Rust (programming language) 1,710
  • 7 Java (programming language) 1,662
  • 8 R (programming language) 1,501
  • 9 COBOL 1,427
  • 10 YAML 1,308

TV Series

  • 1 The Madison (TV series) 106,133
  • 2 One Piece (2023 TV series) 76,319
  • 3 Scarpetta (TV series) 62,845
  • 4 Paradise (2025 TV series) 48,765
  • 5 The Other Bennet Sister 39,436
  • 6 The Pitt 39,127
  • 7 DTF St. Louis 37,811
  • 8 Love Story (2026 TV series) 32,476
  • 9 Young Sherlock (British TV series) 30,900
  • 10 Bridgerton 29,723

Video Games

  • 1 Resident Evil Requiem 23,671
  • 2 Wordle 22,659
  • 3 Crimson Desert 21,539
  • 4 Pokémon Pokopia 21,183
  • 5 Pokémon (video game series) 8,283
  • 6 Minecraft 7,928
  • 7 Roblox 7,908
  • 8 Grand Theft Auto VI 7,100
  • 9 Grand Theft Auto V 6,727
  • 10 Poppy Playtime 6,368

© 2026 OWIKI.org.

Content is available under Creative Commons Attribution-ShareAlike 4.0 unless otherwise noted.

Status: ONLINE

Version: 1.05