Skip to content

Commit 7eff1f2

Browse files
seL4-ciseL4-ci
committed
auto-deployed
1 parent f457b32 commit 7eff1f2

File tree

265 files changed

+603
-603
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

265 files changed

+603
-603
lines changed

‎404.html‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,13 @@
11
<!DOCTYPE html>
2-
<!-- Page last generated 2026-01-17 03:39:53 +0000 -->
2+
<!-- Page last generated 2026-01-18 03:45:59 +0000 -->
33
<html lang="en">
44
<head>
55
<meta charset="utf-8">
66
<meta name="viewport" content="width=device-width, initial-scale=1">
77
<title> | seL4 docs</title>
88

99
<link rel="canonical" href="https://docs.sel4.systems/404.html">
10-
<link href="/assets/css/sel4.css?v=1768621193" rel="stylesheet">
10+
<link href="/assets/css/sel4.css?v=1768707959" rel="stylesheet">
1111
<link rel="preconnect" href="https://fonts.googleapis.com">
1212
<link rel="preconnect" href="https://fonts.gstatic.com" crossorigin>
1313
<link href="https://fonts.googleapis.com/css2?family=Roboto:ital,wght@0,100;0,300;0,400;0,500;0,700;0,900;1,100;1,300;1,400;1,500;1,700;1,900&display=swap" rel="stylesheet">

‎CMA34DBMC/index.html‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,13 @@
11
<!DOCTYPE html>
2-
<!-- Page last generated 2026-01-17 03:39:53 +0000 -->
2+
<!-- Page last generated 2026-01-18 03:45:59 +0000 -->
33
<html lang="en">
44
<head>
55
<meta charset="utf-8">
66
<meta name="viewport" content="width=device-width, initial-scale=1">
77
<title>CMA34D | seL4 docs</title>
88

99
<link rel="canonical" href="https://docs.sel4.systems/CMA34DBMC/">
10-
<link href="/assets/css/sel4.css?v=1768621193" rel="stylesheet">
10+
<link href="/assets/css/sel4.css?v=1768707959" rel="stylesheet">
1111
<link rel="preconnect" href="https://fonts.googleapis.com">
1212
<link rel="preconnect" href="https://fonts.gstatic.com" crossorigin>
1313
<link href="https://fonts.googleapis.com/css2?family=Roboto:ital,wght@0,100;0,300;0,400;0,500;0,700;0,900;1,100;1,300;1,400;1,500;1,700;1,900&display=swap" rel="stylesheet">

‎Hardware/BeagleBoard.html‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,13 @@
11
<!DOCTYPE html>
2-
<!-- Page last generated 2026-01-17 03:39:53 +0000 -->
2+
<!-- Page last generated 2026-01-18 03:45:59 +0000 -->
33
<html lang="en">
44
<head>
55
<meta charset="utf-8">
66
<meta name="viewport" content="width=device-width, initial-scale=1">
77
<title>seL4 on the BeagleBoard | seL4 docs</title>
88

99
<link rel="canonical" href="https://docs.sel4.systems/Hardware/BeagleBoard.html">
10-
<link href="/assets/css/sel4.css?v=1768621193" rel="stylesheet">
10+
<link href="/assets/css/sel4.css?v=1768707959" rel="stylesheet">
1111
<link rel="preconnect" href="https://fonts.googleapis.com">
1212
<link rel="preconnect" href="https://fonts.gstatic.com" crossorigin>
1313
<link href="https://fonts.googleapis.com/css2?family=Roboto:ital,wght@0,100;0,300;0,400;0,500;0,700;0,900;1,100;1,300;1,400;1,500;1,700;1,900&display=swap" rel="stylesheet">

‎Hardware/Beaglebone.html‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,13 @@
11
<!DOCTYPE html>
2-
<!-- Page last generated 2026-01-17 03:39:53 +0000 -->
2+
<!-- Page last generated 2026-01-18 03:45:59 +0000 -->
33
<html lang="en">
44
<head>
55
<meta charset="utf-8">
66
<meta name="viewport" content="width=device-width, initial-scale=1">
77
<title>BeagleBone Black / Blue | seL4 docs</title>
88

99
<link rel="canonical" href="https://docs.sel4.systems/Hardware/Beaglebone.html">
10-
<link href="/assets/css/sel4.css?v=1768621193" rel="stylesheet">
10+
<link href="/assets/css/sel4.css?v=1768707959" rel="stylesheet">
1111
<link rel="preconnect" href="https://fonts.googleapis.com">
1212
<link rel="preconnect" href="https://fonts.gstatic.com" crossorigin>
1313
<link href="https://fonts.googleapis.com/css2?family=Roboto:ital,wght@0,100;0,300;0,400;0,500;0,700;0,900;1,100;1,300;1,400;1,500;1,700;1,900&display=swap" rel="stylesheet">

‎Hardware/CEI_TK1_SOM/CANBoard/index.html‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,13 @@
11
<!DOCTYPE html>
2-
<!-- Page last generated 2026-01-17 03:39:53 +0000 -->
2+
<!-- Page last generated 2026-01-18 03:45:59 +0000 -->
33
<html lang="en">
44
<head>
55
<meta charset="utf-8">
66
<meta name="viewport" content="width=device-width, initial-scale=1">
77
<title>The CAN Daughterboard | seL4 docs</title>
88

99
<link rel="canonical" href="https://docs.sel4.systems/Hardware/CEI_TK1_SOM/CANBoard/">
10-
<link href="/assets/css/sel4.css?v=1768621193" rel="stylesheet">
10+
<link href="/assets/css/sel4.css?v=1768707959" rel="stylesheet">
1111
<link rel="preconnect" href="https://fonts.googleapis.com">
1212
<link rel="preconnect" href="https://fonts.gstatic.com" crossorigin>
1313
<link href="https://fonts.googleapis.com/css2?family=Roboto:ital,wght@0,100;0,300;0,400;0,500;0,700;0,900;1,100;1,300;1,400;1,500;1,700;1,900&display=swap" rel="stylesheet">

‎Hardware/CEI_TK1_SOM/DaughterBoard/index.html‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,13 @@
11
<!DOCTYPE html>
2-
<!-- Page last generated 2026-01-17 03:39:53 +0000 -->
2+
<!-- Page last generated 2026-01-18 03:45:59 +0000 -->
33
<html lang="en">
44
<head>
55
<meta charset="utf-8">
66
<meta name="viewport" content="width=device-width, initial-scale=1">
77
<title>The TK1-SOM Daughterboard | seL4 docs</title>
88

99
<link rel="canonical" href="https://docs.sel4.systems/Hardware/CEI_TK1_SOM/DaughterBoard/">
10-
<link href="/assets/css/sel4.css?v=1768621193" rel="stylesheet">
10+
<link href="/assets/css/sel4.css?v=1768707959" rel="stylesheet">
1111
<link rel="preconnect" href="https://fonts.googleapis.com">
1212
<link rel="preconnect" href="https://fonts.gstatic.com" crossorigin>
1313
<link href="https://fonts.googleapis.com/css2?family=Roboto:ital,wght@0,100;0,300;0,400;0,500;0,700;0,900;1,100;1,300;1,400;1,500;1,700;1,900&display=swap" rel="stylesheet">

‎Hardware/CEI_TK1_SOM/L4TCan/index.html‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,13 @@
11
<!DOCTYPE html>
2-
<!-- Page last generated 2026-01-17 03:39:53 +0000 -->
2+
<!-- Page last generated 2026-01-18 03:45:59 +0000 -->
33
<html lang="en">
44
<head>
55
<meta charset="utf-8">
66
<meta name="viewport" content="width=device-width, initial-scale=1">
77
<title>Using CAN on L4T through an MCP251X | seL4 docs</title>
88

99
<link rel="canonical" href="https://docs.sel4.systems/Hardware/CEI_TK1_SOM/L4TCan/">
10-
<link href="/assets/css/sel4.css?v=1768621193" rel="stylesheet">
10+
<link href="/assets/css/sel4.css?v=1768707959" rel="stylesheet">
1111
<link rel="preconnect" href="https://fonts.googleapis.com">
1212
<link rel="preconnect" href="https://fonts.gstatic.com" crossorigin>
1313
<link href="https://fonts.googleapis.com/css2?family=Roboto:ital,wght@0,100;0,300;0,400;0,500;0,700;0,900;1,100;1,300;1,400;1,500;1,700;1,900&display=swap" rel="stylesheet">

‎Hardware/CEI_TK1_SOM/LogicPro8/index.html‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,13 @@
11
<!DOCTYPE html>
2-
<!-- Page last generated 2026-01-17 03:39:53 +0000 -->
2+
<!-- Page last generated 2026-01-18 03:45:59 +0000 -->
33
<html lang="en">
44
<head>
55
<meta charset="utf-8">
66
<meta name="viewport" content="width=device-width, initial-scale=1">
77
<title>Using the Saleae Logic Pro 8 to debug a CAN bus | seL4 docs</title>
88

99
<link rel="canonical" href="https://docs.sel4.systems/Hardware/CEI_TK1_SOM/LogicPro8/">
10-
<link href="/assets/css/sel4.css?v=1768621193" rel="stylesheet">
10+
<link href="/assets/css/sel4.css?v=1768707959" rel="stylesheet">
1111
<link rel="preconnect" href="https://fonts.googleapis.com">
1212
<link rel="preconnect" href="https://fonts.gstatic.com" crossorigin>
1313
<link href="https://fonts.googleapis.com/css2?family=Roboto:ital,wght@0,100;0,300;0,400;0,500;0,700;0,900;1,100;1,300;1,400;1,500;1,700;1,900&display=swap" rel="stylesheet">

‎Hardware/CEI_TK1_SOM/Tk1SomMods/index.html‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,13 @@
11
<!DOCTYPE html>
2-
<!-- Page last generated 2026-01-17 03:39:53 +0000 -->
2+
<!-- Page last generated 2026-01-18 03:45:59 +0000 -->
33
<html lang="en">
44
<head>
55
<meta charset="utf-8">
66
<meta name="viewport" content="width=device-width, initial-scale=1">
77
<title>TK1-SOM Hardware Modifications | seL4 docs</title>
88

99
<link rel="canonical" href="https://docs.sel4.systems/Hardware/CEI_TK1_SOM/Tk1SomMods/">
10-
<link href="/assets/css/sel4.css?v=1768621193" rel="stylesheet">
10+
<link href="/assets/css/sel4.css?v=1768707959" rel="stylesheet">
1111
<link rel="preconnect" href="https://fonts.googleapis.com">
1212
<link rel="preconnect" href="https://fonts.gstatic.com" crossorigin>
1313
<link href="https://fonts.googleapis.com/css2?family=Roboto:ital,wght@0,100;0,300;0,400;0,500;0,700;0,900;1,100;1,300;1,400;1,500;1,700;1,900&display=swap" rel="stylesheet">

‎Hardware/CEI_TK1_SOM/index.html‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,13 @@
11
<!DOCTYPE html>
2-
<!-- Page last generated 2026-01-17 03:39:53 +0000 -->
2+
<!-- Page last generated 2026-01-18 03:45:59 +0000 -->
33
<html lang="en">
44
<head>
55
<meta charset="utf-8">
66
<meta name="viewport" content="width=device-width, initial-scale=1">
77
<title>TK1 som | seL4 docs</title>
88

99
<link rel="canonical" href="https://docs.sel4.systems/Hardware/CEI_TK1_SOM/">
10-
<link href="/assets/css/sel4.css?v=1768621193" rel="stylesheet">
10+
<link href="/assets/css/sel4.css?v=1768707959" rel="stylesheet">
1111
<link rel="preconnect" href="https://fonts.googleapis.com">
1212
<link rel="preconnect" href="https://fonts.gstatic.com" crossorigin>
1313
<link href="https://fonts.googleapis.com/css2?family=Roboto:ital,wght@0,100;0,300;0,400;0,500;0,700;0,900;1,100;1,300;1,400;1,500;1,700;1,900&display=swap" rel="stylesheet">

0 commit comments

Comments
 (0)