Hey Munes and Ashok, To my knowledge, seL4 supports the TX1 SoC, but not the TX2 explicitly. If the TX1 and TX2 behave similarly, then there's probably a lot of code that can be shared between them. I can't comment on whether or not they are similar enough though.? That said, to help you begin the search to find out, you can look through the code we currently have for the TK1 and TX1. So the way the codebase is organized for the TK1 and TX1 right now, the common drivers for both of them are in libplatsupport/src/mach/nvidia (https://github.com/seL4/util_libs/tree/master/libplatsupport/src/mach/nvidia). We personally have, internally, 3 boards for which the TK1 and TX1 SoCs are common: (1) Colorado TK1-SOM. (2) Nvidia Jetson TK1 (3) Some TX1-based board which I don't know much about off the top of my head. The two TK1 platforms use the same "plat" code in libplatsupport/src/plat/tk1: https://github.com/seL4/util_libs/tree/master/libplatsupport/src/plat/tk1 And I see a TX1 platform folder here as well, though I'm not familiar with it myself (and frankly the files are empty anyway): https://github.com/seL4/util_libs/tree/master/libplatsupport/src/plat/tx1? -- Kofi Doku Atuah Kernel engineer DATA61 | CSIRO