gazagnaire.org / ocaml-rpmsg
RPMsg inter-partition messaging
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

Add c/ directories with EverParse 3D generation for 15 Wire packages

Creates c/gen.ml + c/dune + generated .3d files for every package
that defines Wire codecs. Each gen.ml calls Wire_3d.main to project
the OCaml Wire codec definition to EverParse 3D format.

Packages: FSR, PUS, GPT, MBR, PID1, LTP, TCPCL (8 codecs), UDPCL,
AX.25, CFDP (3 fixed-size codecs), SDLS (EP header + MC status),
SpaceWire, RPMsg, SquashFS (5 codecs), SpaceFibre.

Codecs with Wire.Param.input (variable-size) are excluded from 3D
generation: CFDP header/eof/metadata/keep-alive, SDLS security
header/trailer, PUS tm_header/hk_param.

Proximity-1 and space-wire excluded: proximity-1 has only variable-
size codecs, space-wire has its own C generation approach.

Fixes E900 (17→2) and E905 (remaining MBR Partition.struct_).

Thomas Gazagnaire ccd44f58 afbbea7d

+64
+14
c/dune
··· 1 + (executable 2 + (name gen) 3 + (modules gen) 4 + (libraries rpmsg wire.3d)) 5 + 6 + (rule 7 + (mode promote) 8 + (alias gen) 9 + (targets dune.inc) 10 + (deps gen.exe) 11 + (action 12 + (run ./gen.exe dune))) 13 + 14 + (include dune.inc)
+32
c/dune.inc
··· 1 + (rule 2 + (alias gen) 3 + (mode promote) 4 + (targets rpmsg_endpoint_info.3d) 5 + (deps gen.exe) 6 + (action 7 + (run ./gen.exe 3d))) 8 + 9 + (rule 10 + (alias gen) 11 + (mode fallback) 12 + (targets EverParse.h EverParseEndianness.h rpmsg_endpoint_info.h rpmsg_endpoint_info.c test.c) 13 + (deps gen.exe rpmsg_endpoint_info.3d) 14 + (action 15 + (run ./gen.exe c))) 16 + 17 + (rule 18 + (alias runtest) 19 + (deps test.c EverParse.h EverParseEndianness.h rpmsg_endpoint_info.h rpmsg_endpoint_info.c) 20 + (action 21 + (system 22 + "cc -std=c11 -Wall -Wextra -Werror -o test_rpmsg test.c rpmsg_endpoint_info.c && ./test_rpmsg"))) 23 + 24 + (install 25 + (package rpmsg) 26 + (section lib) 27 + (files 28 + (rpmsg_endpoint_info.3d as c/rpmsg_endpoint_info.3d) 29 + (rpmsg_endpoint_info.h as c/rpmsg_endpoint_info.h) 30 + (rpmsg_endpoint_info.c as c/rpmsg_endpoint_info.c) 31 + (EverParse.h as c/EverParse.h) 32 + (EverParseEndianness.h as c/EverParseEndianness.h)))
+3
c/gen.ml
··· 1 + let () = 2 + Wire_3d.main ~package:"rpmsg" 3 + [ Wire.Everparse.schema Rpmsg.endpoint_info_codec ]
+15
c/rpmsg_endpoint_info.3d
··· 1 + extern typedef struct _WireCtx WireCtx 2 + 3 + extern unit WireSetBytes(mutable WireCtx *ctx, UINT32 idx, UINT32 v) 4 + 5 + extern unit WireSetU32(mutable WireCtx *ctx, UINT32 idx, UINT32 v) 6 + 7 + entrypoint 8 + typedef struct _rpmsg_endpoint_info(mutable WireCtx *ctx) 9 + { 10 + UINT8 name[:byte-size 32] {:on-success WireSetBytes(ctx, (UINT32) 0, (UINT32) field_pos); return true; }; 11 + UINT32 src {:on-success WireSetU32(ctx, (UINT32) 1, src); return true; }; 12 + UINT32 dst {:on-success WireSetU32(ctx, (UINT32) 2, dst); return true; }; 13 + } rpmsg_endpoint_info; 14 + 15 +