add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

1
2
3
4
5
6
7
8
9
#include "XenBusDxe.h" 
 
CHAR8* 
AsciiStrDup ( 
  IN CONST CHAR8* Str 
  ) 
{ 
  return AllocateCopyPool (AsciiStrSize (Str), Str); 
}