• Home
  • About
    • Organization Structure
    • Organizing Committee
    • Privacy Policy
  • Membership
    • Apply for Membership
    • Membership Info
    • Our Members
  • Summits
    • 2024 Summit
    • 2022 Summit
    • 2020 Summit
    • 2019 Summit
    • 2018 Summit
  • Resources
    • About seL4®
    • seL4® Foundation
    • TCCoE Repository
    • Existing Platforms and Capabilities
  • Training
  • Contact
⟵ Exercise-9
table of contents
Tutorial Downloads ⟶

seL4 Level-1 Tutorials - Exercise #10: Game of Pong

Summary
This is just a demonstration of everything presented in exercises 1 through 9. The final result is a game of pong where the player gets to play against the computer. The difficulty of the computer depends on the processing speed of the machine the game is running on. It varies from one environment to another. Under ideal conditions with enough performance, the computer should never lose.
The game looks like the following screenshots:
Build and Run
$ cd /home/$USER/sel4-files $ container # if using our environment setup $ cd level-1-tutorials $ ./init-build exercise-9 x86 $ cd application/build/exercise-9-x86 $ ninja # RUN THE FOLLOWING IN A SEPERATE TERMINAL OUTSIDE OF 'container' $ ./simulate -g '-vga std' # use Ctrl + A ⟶ X to quit qemu # use Ctrl + Alt + G to release mouse from qemu
Game controls:
  • P: player (start game).
  • R: reset game and scores.
  • W: move player paddle upwards.
  • S: move player paddle downwards.
  • Q: quit game. (disabled in-code by default)
⟵ Exercise-9
table of contents
Tutorial Downloads ⟶
seL4 is a trademark of LF Projects, LLC. Trusted Computing Center of Excellence™ is a tradename of The Computing Center of Excellence, Inc. Copyright © 2022 The Computing Center of Excellence, Inc.

We use cookies to enable essential functionality on our website, and analyze website traffic. By clicking Accept you consent to our use of cookies. Read about how we use cookies.

Your Cookie Settings

We use cookies to enable essential functionality on our website, and analyze website traffic. Read about how we use cookies.

Cookie Categories
Essential

These cookies are strictly necessary to provide you with services available through our websites. You cannot refuse these cookies without impacting how our websites function. You can block or delete them by changing your browser settings, as described under the heading "Managing cookies" in the Privacy and Cookies Policy.

Analytics

These cookies collect information that is used in aggregate form to help us understand how our websites are being used or how effective our marketing campaigns are.