jm-- / sel4doom Goto Github PK

Project idea: Make "load game" and "save game" work, somehow.

This requires some ingenuity.

Project idea: Make the music and sound work. 😃

Some functions in i_sound.c have been replaced with stub methods to make the code compile.

It seems there is at least one issue with the (original Doom) code when the "are you sure you want to quit" confirmation text is shown.

In rare cases, I have either seen this text on the serial output

Patch at -2,90 exceeds LFB
V_DrawPatch: bad patch (ignored)

or a cap fault.

(This issue is low priority since quitting the game is not implemented--there is nothing one can return to after quitting the game.)

Project idea: Add support for multiplayer game.
I have not yet looked into this at all. Maybe one can use libplatsupport for serial devices? libethdrivers?

when repo syncing, I've met the error, fatal: Couldn't find remote ref refs/heads/experimental.
Is this a problem of seL4 updates?

Finally, I found the time to try it on real hardware. I boot from an USB stick, and I can get to the main screen. :) But the keyboard does not work at all. :(

By now I have some idea of what's going on: I use a laptop with an external USB keyboard (because the built-in keyboard died on me), and the BIOS is configured to emulate legacy PS2 devices. I wrote a little test program, and I read up a bit on keyboard scan codes. It seems the problem is that my keyboard generates "Scan Code Set 1" key codes, which the platsupport keyboard code was not designed to handle, I think. See here for info about scan codes: http://wiki.osdev.org/PS2_Keyboard#Scan_Code_Sets

The good news is that my seL4 test program can read all keys (including shift, alt, cursor)! So it should be possible to hack something together to make it work!