Index of /scarthgap/tmp/work-shared/raspberrypi4-64/kernel-source/arch/x86/coco/tdx

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[TXT]tdx.c2026-10-16 14:26 22K 
[TXT]tdx-shared.c2026-10-16 14:26 1.5K 
[ ]tdcall.S2026-10-16 14:26 6.7K 
[ ]Makefile2026-10-16 14:26 73  
Apache/2.4.58 (Ubuntu) Server at 79.188.13.60 Port 9000