diff --git a/docs/markdown/Builtin-options.md b/docs/markdown/Builtin-options.md
index f3cbcea75d05..512a387b02f0 100644
--- a/docs/markdown/Builtin-options.md
+++ b/docs/markdown/Builtin-options.md
@@ -209,6 +209,7 @@ available on all platforms or with all compilers:
 | b_staticpic         | true                 | true, false                                                   | Build static libraries as position independent                                 |
 | b_pie               | false                | true, false                                                   | Build position-independent executables (since 0.49.0)                          |
 | b_vscrt             | from_buildtype       | none, md, mdd, mt, mtd, from_buildtype, static_from_buildtype | VS runtime library to use (since 0.48.0) (static_from_buildtype since 0.56.0)  |
+| b_tasking_mil_link  | false                | true, false                                                   | Use MIL linking for the TASKING VX-tools compiler family (since 1.?.?)         |
 
 The value of `b_sanitize` can be one of: `none`, `address`, `thread`,
 `undefined`, `memory`, `leak`, `address,undefined`, but note that some
diff --git a/docs/markdown/Reference-tables.md b/docs/markdown/Reference-tables.md
index 86f3e9ea5668..194de3bc2424 100644
--- a/docs/markdown/Reference-tables.md
+++ b/docs/markdown/Reference-tables.md
@@ -47,6 +47,11 @@ These are return values of the `get_id` (Compiler family) and
 | armasm    | Microsoft Macro Assembler for ARM and AARCH64 (Since 0.64.0) | |
 | mwasmarm        | Metrowerks Assembler for Embedded ARM | |
 | mwasmeppc       | Metrowerks Assembler for Embedded PowerPC | |
+| cctc            | TASKING VX-toolset for TriCore compiler     | |
+| ccarm           | TASKING VX-toolset for ARM compiler         | |
+| cc51            | TASKING VX-toolset for 8051 compiler        | |
+| ccmsc           | TASKING VX-toolset for MCS compiler         | |
+| ccpcp           | TASKING VX-toolset for PCP compiler         | |
 
 ## Linker ids
 
@@ -76,6 +81,11 @@ These are return values of the `get_linker_id` method in a compiler object.
 | ccomp      | CompCert used as the linker driver          |
 | mwldarm    | The Metrowerks Linker with the ARM interface, used with mwccarm only |
 | mwldeppc   | The Metrowerks Linker with the PowerPC interface, used with mwcceppc only |
+| ltc        | TASKING VX-toolset for TriCore linker       |
+| lkarm      | TASKING VX-toolset for ARM linker           |
+| lk51       | TASKING VX-toolset for 8051 linker          |
+| lmsc       | TASKING VX-toolset for MCS linker           |
+| lpcp       | TASKING VX-toolset for PCP linker           |
 
 For languages that don't have separate dynamic linkers such as C# and Java, the
 `get_linker_id` will return the compiler name.
@@ -133,6 +143,7 @@ set in the cross file.
 | wasm64              | 64 bit Webassembly       |
 | x86                 | 32 bit x86 processor     |
 | x86_64              | 64 bit x86 processor     |
+| tricore             | Tricore 32 bit processor |
 
 
 Any cpu family not listed in the above list is not guaranteed to