azonenberg/antikernel

The Antikernel operating system project

Antikernel

This is the new development repository for the Antikernel OS.

Project Roadmap:

In no particular order...

Eventually some of these TODOs will be broken down into tickets on the issue tracker. Need to work out some finer details on design first.

• The legacy Splash build system is being completely rewritten and replaced.
• We'd love to write some developer documentation and formally specify the APIs for various existing components, as well as writing specifications for not-yet-implemented peripherals/drivers/services
• Fix the SARATOGA L1 cache so the miss servicing latency isn't so bad.
• Reduce hazards between SARATOGA execution units so we can dual-issue a higher fraction of instructions.
• Experiment with porting Antikernel to a Xilinx Zynq SoC using both the Cortex-A9s and the FPGA.
• We should probably have a filesystem at some point.

Stuff you might be interested in:

• Project IRC channel: #antikernel on Freenode
• Original PhD thesis: https://pqdtopen.proquest.com/doc/1705867421.html?FMT=ABS
• CHES 2016 paper: https://eprint.iacr.org/2016/550
• CHES 2016 slides: http://www.chesworkshop.org/ches2016/presentations/0918%20Session%205/CHES2016_Session5_2.pdf
• CHES 2016 video: https://www.iacr.org/cryptodb/data/paper.php?pubkey=27850
• TODO: S4x17 slides and video once posted
• Build system: https://github.com/azonenberg/splash-build-system/

NOTES

The "legacy-*" directories contain a raw export of the old Subversion repository. This will all get moved elsewhere, possibly to separate repositories, during the upcoming restructuring.

antikernel's Issues

jtagd randomly segfaults in Socket::Accept()

Connected to interface "Digilent Adept USB Device A (2232H)" (serial number "210279760222A")
Program received signal SIGSEGV, Segmentation fault.

0x00000000000015e6 in ?? ()

(gdb) bt

#0  0x00000000000015e6 in ?? ()

#1  0x00007ffff7550e74 in Socket::Accept (this=0x611670 <g_socket>) at /tmp/sb0/workdir/src/xptools/Socket.cpp:429

#2  0x000000000040b02e in main (argc=7, argv=0x7fffffffe6e8) at /tmp/sb0/workdir/src/jtagd/main.cpp:269

(gdb) frame 1

#1  0x00007ffff7550e74 in Socket::Accept (this=0x611670 <g_socket>) at /tmp/sb0/workdir/src/xptools/Socket.cpp:429

429	/tmp/sb0/workdir/src/xptools/Socket.cpp: No such file or directory.

(gdb) print this

$1 = (Socket * const) 0x611670 <g_socket>

(gdb) print *this

$2 = {_vptr.Socket = 0x7ffff7751650 <vtable for Socket+16>, m_af = 10, m_type = 1, m_protocol = 6, m_socket = 12}

RED TIN (UART backend): Avoid blocking reads to poll trigger status

Code open source?

Is the code for Antikernel's architecture already open source?

nocswitch goes nuts throwing exceptions in a loop when attempting to terminate with ^C

Link to thesis in README is dead

http://gradworks.umi.com/37/05/3705663.html