Searched defs:platform (Results 1 - 1 of 1) sorted by relevance

/seL4-test-master/tools/seL4/cmake-tool/helpers/
H A Dshoehorn.py140 platform = platform_sift.load_data(args.platform_filename[0]) variable

Completed in 26 milliseconds