swrup/mte
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
No description
7 commits 1 branch 0 tags 16 MiB
Find a file
swrup 867a373636 JJ: Description from the destination commit: 
try to clean up lwt lwt_result monad

JJ: Description from source commit:
load data/assets/terms/..
2025-11-03 09:35:30 +01:00
data add dummy terms file 2025-11-02 16:38:31 +01:00
src customize skeleton 2025-11-02 15:21:21 +01:00
unikernel JJ: Description from the destination commit: 2025-11-03 09:35:30 +01:00
.gitignore customize skeleton 2025-11-02 15:21:21 +01:00
.ocamlformat fmt 2025-10-30 15:51:09 +01:00
.ocamlformat-ignore customize skeleton 2025-11-02 15:21:21 +01:00
dune-project customize skeleton 2025-11-02 15:21:21 +01:00
dune-workspace customize skeleton 2025-11-02 15:21:21 +01:00
gen_tls.sh ~ .gitkeep 2025-11-02 16:06:24 +01:00
Makefile customize skeleton 2025-11-02 15:21:21 +01:00
README.md ~ .gitkeep 2025-11-02 16:06:24 +01:00

README.md

MTE - the MirageOS Taler Exchange

build steps:

$ mirage configure -f unikernel/config.ml -t unix $ gen_tls.sh foo $ make