Giters

theseus-os / Theseus

Theseus is a modern OS written from scratch in Rust that explores ๐ข๐ง๐ญ๐ซ๐š๐ฅ๐ข๐ง๐ ๐ฎ๐š๐ฅ ๐๐ž๐ฌ๐ข๐ ๐ง: closing the semantic gap between compiler and hardware by maximally leveraging the power of language safety and affine types. Theseus aims to shift OS responsibilities like resource management into the compiler.

Home Page:https://www.theseus-os.com/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

About SGX application in Theseus

fantas1a opened this issue ยท comments

commented

Hi, because I want to use SGX in Theseus, may I know if I can use qemu-sgx to substitude qemu/qemu-system to run Theseus? Cloud you please give me any suggestions or ideas? Thanks very much.

commented

Hi @fantas1a, thanks for the question! I don't have any experience with SGX, but I'm fairly confident you wouldn't be able to simply use a different QEMU binary, since any bare-metal OS like Theseus must be compiled for and execute on a specific architecture and target.

SGX isn't something we have explored in Theseus, so I'm not sure how it would be incorporated into our various system/hardware components.