KO | EN

GitLite

Minimalist Open Source Repository Search Engine

gitlite — search

#dsh #ai-agents #dsh-plugin #codex #developer-tools #claude-code #windows #desktop-app #typescript #rust #ai-agent #cli

antikernel

★ 124 Open GitHub ↗

The Antikernel operating system project

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

# 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

Explore Similar Repositories

Was this content helpful?

Recent Feedback

Download README