, or .\n\n.list-group {\n // No need to set list-style: none; since .list-group-item is block level\n margin-bottom: 20px;\n padding-left: 0; // reset padding because ul and ol\n}\n\n\n// Individual list items\n//\n// Use on `li`s or `div`s within the `.list-group` parent.\n\n.list-group-item {\n position: relative;\n display: block;\n padding: 10px 15px;\n // Place the border on the list items and negative margin up for better styling\n margin-bottom: -1px;\n background-color: $list-group-bg;\n border: 1px solid $list-group-border;\n\n // Round the first and last items\n &:first-child {\n @include border-top-radius($list-group-border-radius);\n }\n &:last-child {\n margin-bottom: 0;\n @include border-bottom-radius($list-group-border-radius);\n }\n}\n\n\n// Interactive list items\n//\n// Use anchor or button elements instead of `li`s or `div`s to create interactive items.\n// Includes an extra `.active` modifier class for showing selected items.\n\na.list-group-item,\nbutton.list-group-item {\n color: $list-group-link-color;\n\n .list-group-item-heading {\n color: $list-group-link-heading-color;\n }\n\n // Hover state\n &:hover,\n &:focus {\n text-decoration: none;\n color: $list-group-link-hover-color;\n background-color: $list-group-hover-bg;\n }\n}\n\nbutton.list-group-item {\n width: 100%;\n text-align: left;\n}\n\n.list-group-item {\n // Disabled state\n &.disabled,\n &.disabled:hover,\n &.disabled:focus {\n background-color: $list-group-disabled-bg;\n color: $list-group-disabled-color;\n cursor: $cursor-disabled;\n\n // Force color to inherit for custom content\n .list-group-item-heading {\n color: inherit;\n }\n .list-group-item-text {\n color: $list-group-disabled-text-color;\n }\n }\n\n // Active class on item itself, not parent\n &.active,\n &.active:hover,\n &.active:focus {\n z-index: 2; // Place active items above their siblings for proper border styling\n color: $list-group-active-color;\n background-color: $list-group-active-bg;\n border-color: $list-group-active-border;\n\n // Force color to inherit for custom content\n .list-group-item-heading,\n .list-group-item-heading > small,\n .list-group-item-heading > .small {\n color: inherit;\n }\n .list-group-item-text {\n color: $list-group-active-text-color;\n }\n }\n}\n\n\n// Contextual variants\n//\n// Add modifier classes to change text and background color on individual items.\n// Organizationally, this must come after the `:hover` states.\n\n@include list-group-item-variant(success, $state-success-bg, $state-success-text);\n@include list-group-item-variant(info, $state-info-bg, $state-info-text);\n@include list-group-item-variant(warning, $state-warning-bg, $state-warning-text);\n@include list-group-item-variant(danger, $state-danger-bg, $state-danger-text);\n\n\n// Custom content options\n//\n// Extra classes for creating well-formatted content within `.list-group-item`s.\n\n.list-group-item-heading {\n margin-top: 0;\n margin-bottom: 5px;\n}\n.list-group-item-text {\n margin-bottom: 0;\n line-height: 1.3;\n}\n","// List Groups\n\n@mixin list-group-item-variant($state, $background, $color) {\n .list-group-item-#{$state} {\n color: $color;\n background-color: $background;\n\n // [converter] extracted a&, button& to a.list-group-item-#{$state}, button.list-group-item-#{$state}\n }\n\n a.list-group-item-#{$state},\n button.list-group-item-#{$state} {\n color: $color;\n\n .list-group-item-heading {\n color: inherit;\n }\n\n &:hover,\n &:focus {\n color: $color;\n background-color: darken($background, 5%);\n }\n &.active,\n &.active:hover,\n &.active:focus {\n color: #fff;\n background-color: $color;\n border-color: $color;\n }\n }\n}\n","//\n// Panels\n// --------------------------------------------------\n\n\n// Base class\n.panel {\n margin-bottom: $line-height-computed;\n background-color: $panel-bg;\n border: 1px solid transparent;\n border-radius: $panel-border-radius;\n @include box-shadow(0 1px 1px rgba(0,0,0,.05));\n}\n\n// Panel contents\n.panel-body {\n padding: $panel-body-padding;\n @include clearfix;\n}\n\n// Optional heading\n.panel-heading {\n padding: $panel-heading-padding;\n border-bottom: 1px solid transparent;\n @include border-top-radius(($panel-border-radius - 1));\n\n > .dropdown .dropdown-toggle {\n color: inherit;\n }\n}\n\n// Within heading, strip any `h*` tag of its default margins for spacing.\n.panel-title {\n margin-top: 0;\n margin-bottom: 0;\n font-size: ceil(($font-size-base * 1.125));\n color: inherit;\n\n > a,\n > small,\n > .small,\n > small > a,\n > .small > a {\n color: inherit;\n }\n}\n\n// Optional footer (stays gray in every modifier class)\n.panel-footer {\n padding: $panel-footer-padding;\n background-color: $panel-footer-bg;\n border-top: 1px solid $panel-inner-border;\n @include border-bottom-radius(($panel-border-radius - 1));\n}\n\n\n// List groups in panels\n//\n// By default, space out list group content from panel headings to account for\n// any kind of custom content between the two.\n\n.panel {\n > .list-group,\n > .panel-collapse > .list-group {\n margin-bottom: 0;\n\n .list-group-item {\n border-width: 1px 0;\n border-radius: 0;\n }\n\n // Add border top radius for first one\n &:first-child {\n .list-group-item:first-child {\n border-top: 0;\n @include border-top-radius(($panel-border-radius - 1));\n }\n }\n\n // Add border bottom radius for last one\n &:last-child {\n .list-group-item:last-child {\n border-bottom: 0;\n @include border-bottom-radius(($panel-border-radius - 1));\n }\n }\n }\n > .panel-heading + .panel-collapse > .list-group {\n .list-group-item:first-child {\n @include border-top-radius(0);\n }\n }\n}\n// Collapse space between when there's no additional content.\n.panel-heading + .list-group {\n .list-group-item:first-child {\n border-top-width: 0;\n }\n}\n.list-group + .panel-footer {\n border-top-width: 0;\n}\n\n// Tables in panels\n//\n// Place a non-bordered `.table` within a panel (not within a `.panel-body`) and\n// watch it go full width.\n\n.panel {\n > .table,\n > .table-responsive > .table,\n > .panel-collapse > .table {\n margin-bottom: 0;\n\n caption {\n padding-left: $panel-body-padding;\n padding-right: $panel-body-padding;\n }\n }\n // Add border top radius for first one\n > .table:first-child,\n > .table-responsive:first-child > .table:first-child {\n @include border-top-radius(($panel-border-radius - 1));\n\n > thead:first-child,\n > tbody:first-child {\n > tr:first-child {\n border-top-left-radius: ($panel-border-radius - 1);\n border-top-right-radius: ($panel-border-radius - 1);\n\n td:first-child,\n th:first-child {\n border-top-left-radius: ($panel-border-radius - 1);\n }\n td:last-child,\n th:last-child {\n border-top-right-radius: ($panel-border-radius - 1);\n }\n }\n }\n }\n // Add border bottom radius for last one\n > .table:last-child,\n > .table-responsive:last-child > .table:last-child {\n @include border-bottom-radius(($panel-border-radius - 1));\n\n > tbody:last-child,\n > tfoot:last-child {\n > tr:last-child {\n border-bottom-left-radius: ($panel-border-radius - 1);\n border-bottom-right-radius: ($panel-border-radius - 1);\n\n td:first-child,\n th:first-child {\n border-bottom-left-radius: ($panel-border-radius - 1);\n }\n td:last-child,\n th:last-child {\n border-bottom-right-radius: ($panel-border-radius - 1);\n }\n }\n }\n }\n > .panel-body + .table,\n > .panel-body + .table-responsive,\n > .table + .panel-body,\n > .table-responsive + .panel-body {\n border-top: 1px solid $table-border-color;\n }\n > .table > tbody:first-child > tr:first-child th,\n > .table > tbody:first-child > tr:first-child td {\n border-top: 0;\n }\n > .table-bordered,\n > .table-responsive > .table-bordered {\n border: 0;\n > thead,\n > tbody,\n > tfoot {\n > tr {\n > th:first-child,\n > td:first-child {\n border-left: 0;\n }\n > th:last-child,\n > td:last-child {\n border-right: 0;\n }\n }\n }\n > thead,\n > tbody {\n > tr:first-child {\n > td,\n > th {\n border-bottom: 0;\n }\n }\n }\n > tbody,\n > tfoot {\n > tr:last-child {\n > td,\n > th {\n border-bottom: 0;\n }\n }\n }\n }\n > .table-responsive {\n border: 0;\n margin-bottom: 0;\n }\n}\n\n\n// Collapsible panels (aka, accordion)\n//\n// Wrap a series of panels in `.panel-group` to turn them into an accordion with\n// the help of our collapse JavaScript plugin.\n\n.panel-group {\n margin-bottom: $line-height-computed;\n\n // Tighten up margin so it's only between panels\n .panel {\n margin-bottom: 0;\n border-radius: $panel-border-radius;\n\n + .panel {\n margin-top: 5px;\n }\n }\n\n .panel-heading {\n border-bottom: 0;\n\n + .panel-collapse > .panel-body,\n + .panel-collapse > .list-group {\n border-top: 1px solid $panel-inner-border;\n }\n }\n\n .panel-footer {\n border-top: 0;\n + .panel-collapse .panel-body {\n border-bottom: 1px solid $panel-inner-border;\n }\n }\n}\n\n\n// Contextual variations\n.panel-default {\n @include panel-variant($panel-default-border, $panel-default-text, $panel-default-heading-bg, $panel-default-border);\n}\n.panel-primary {\n @include panel-variant($panel-primary-border, $panel-primary-text, $panel-primary-heading-bg, $panel-primary-border);\n}\n.panel-success {\n @include panel-variant($panel-success-border, $panel-success-text, $panel-success-heading-bg, $panel-success-border);\n}\n.panel-info {\n @include panel-variant($panel-info-border, $panel-info-text, $panel-info-heading-bg, $panel-info-border);\n}\n.panel-warning {\n @include panel-variant($panel-warning-border, $panel-warning-text, $panel-warning-heading-bg, $panel-warning-border);\n}\n.panel-danger {\n @include panel-variant($panel-danger-border, $panel-danger-text, $panel-danger-heading-bg, $panel-danger-border);\n}\n","// Panels\n\n@mixin panel-variant($border, $heading-text-color, $heading-bg-color, $heading-border) {\n border-color: $border;\n\n & > .panel-heading {\n color: $heading-text-color;\n background-color: $heading-bg-color;\n border-color: $heading-border;\n\n + .panel-collapse > .panel-body {\n border-top-color: $border;\n }\n .badge {\n color: $heading-bg-color;\n background-color: $heading-text-color;\n }\n }\n & > .panel-footer {\n + .panel-collapse > .panel-body {\n border-bottom-color: $border;\n }\n }\n}\n","// Embeds responsive\n//\n// Credit: Nicolas Gallagher and SUIT CSS.\n\n.embed-responsive {\n position: relative;\n display: block;\n height: 0;\n padding: 0;\n overflow: hidden;\n\n .embed-responsive-item,\n iframe,\n embed,\n object,\n video {\n position: absolute;\n top: 0;\n left: 0;\n bottom: 0;\n height: 100%;\n width: 100%;\n border: 0;\n }\n}\n\n// Modifier class for 16:9 aspect ratio\n.embed-responsive-16by9 {\n padding-bottom: 56.25%;\n}\n\n// Modifier class for 4:3 aspect ratio\n.embed-responsive-4by3 {\n padding-bottom: 75%;\n}\n","//\n// Wells\n// --------------------------------------------------\n\n\n// Base class\n.well {\n min-height: 20px;\n padding: 19px;\n margin-bottom: 20px;\n background-color: $well-bg;\n border: 1px solid $well-border;\n border-radius: $border-radius-base;\n @include box-shadow(inset 0 1px 1px rgba(0,0,0,.05));\n blockquote {\n border-color: #ddd;\n border-color: rgba(0,0,0,.15);\n }\n}\n\n// Sizes\n.well-lg {\n padding: 24px;\n border-radius: $border-radius-large;\n}\n.well-sm {\n padding: 9px;\n border-radius: $border-radius-small;\n}\n","//\n// Close icons\n// --------------------------------------------------\n\n\n.close {\n float: right;\n font-size: ($font-size-base * 1.5);\n font-weight: $close-font-weight;\n line-height: 1;\n color: $close-color;\n text-shadow: $close-text-shadow;\n @include opacity(.2);\n\n &:hover,\n &:focus {\n color: $close-color;\n text-decoration: none;\n cursor: pointer;\n @include opacity(.5);\n }\n\n // [converter] extracted button& to button.close\n}\n\n// Additional properties for button version\n// iOS requires the button element instead of an anchor tag.\n// If you want the anchor version, it requires `href=\"#\"`.\n// See https://developer.mozilla.org/en-US/docs/Web/Events/click#Safari_Mobile\nbutton.close {\n padding: 0;\n cursor: pointer;\n background: transparent;\n border: 0;\n -webkit-appearance: none;\n}\n","//\n// Modals\n// --------------------------------------------------\n\n// .modal-open - body class for killing the scroll\n// .modal - container to scroll within\n// .modal-dialog - positioning shell for the actual modal\n// .modal-content - actual modal w/ bg and corners and shit\n\n// Kill the scroll on the body\n.modal-open {\n overflow: hidden;\n}\n\n// Container that the modal scrolls within\n.modal {\n display: none;\n overflow: hidden;\n position: fixed;\n top: 0;\n right: 0;\n bottom: 0;\n left: 0;\n z-index: $zindex-modal;\n -webkit-overflow-scrolling: touch;\n\n // Prevent Chrome on Windows from adding a focus outline. For details, see\n // https://github.com/twbs/bootstrap/pull/10951.\n outline: 0;\n\n // When fading in the modal, animate it to slide down\n &.fade .modal-dialog {\n @include translate(0, -25%);\n @include transition-transform(0.3s ease-out);\n }\n &.in .modal-dialog { @include translate(0, 0) }\n}\n.modal-open .modal {\n overflow-x: hidden;\n overflow-y: auto;\n}\n\n// Shell div to position the modal with bottom padding\n.modal-dialog {\n position: relative;\n width: auto;\n margin: 10px;\n}\n\n// Actual modal\n.modal-content {\n position: relative;\n background-color: $modal-content-bg;\n border: 1px solid $modal-content-fallback-border-color; //old browsers fallback (ie8 etc)\n border: 1px solid $modal-content-border-color;\n border-radius: $border-radius-large;\n @include box-shadow(0 3px 9px rgba(0,0,0,.5));\n background-clip: padding-box;\n // Remove focus outline from opened modal\n outline: 0;\n}\n\n// Modal background\n.modal-backdrop {\n position: fixed;\n top: 0;\n right: 0;\n bottom: 0;\n left: 0;\n z-index: $zindex-modal-background;\n background-color: $modal-backdrop-bg;\n // Fade for backdrop\n &.fade { @include opacity(0); }\n &.in { @include opacity($modal-backdrop-opacity); }\n}\n\n// Modal header\n// Top section of the modal w/ title and dismiss\n.modal-header {\n padding: $modal-title-padding;\n border-bottom: 1px solid $modal-header-border-color;\n @include clearfix;\n}\n// Close icon\n.modal-header .close {\n margin-top: -2px;\n}\n\n// Title text within header\n.modal-title {\n margin: 0;\n line-height: $modal-title-line-height;\n}\n\n// Modal body\n// Where all modal content resides (sibling of .modal-header and .modal-footer)\n.modal-body {\n position: relative;\n padding: $modal-inner-padding;\n}\n\n// Footer (for actions)\n.modal-footer {\n padding: $modal-inner-padding;\n text-align: right; // right align buttons\n border-top: 1px solid $modal-footer-border-color;\n @include clearfix; // clear it in case folks use .pull-* classes on buttons\n\n // Properly space out buttons\n .btn + .btn {\n margin-left: 5px;\n margin-bottom: 0; // account for input[type=\"submit\"] which gets the bottom margin like all other inputs\n }\n // but override that for button groups\n .btn-group .btn + .btn {\n margin-left: -1px;\n }\n // and override it for block buttons as well\n .btn-block + .btn-block {\n margin-left: 0;\n }\n}\n\n// Measure scrollbar width for padding body during modal show/hide\n.modal-scrollbar-measure {\n position: absolute;\n top: -9999px;\n width: 50px;\n height: 50px;\n overflow: scroll;\n}\n\n// Scale up the modal\n@media (min-width: $screen-sm-min) {\n // Automatically set modal's width for larger viewports\n .modal-dialog {\n width: $modal-md;\n margin: 30px auto;\n }\n .modal-content {\n @include box-shadow(0 5px 15px rgba(0,0,0,.5));\n }\n\n // Modal sizes\n .modal-sm { width: $modal-sm; }\n}\n\n@media (min-width: $screen-md-min) {\n .modal-lg { width: $modal-lg; }\n}\n","//\n// Tooltips\n// --------------------------------------------------\n\n\n// Base class\n.tooltip {\n position: absolute;\n z-index: $zindex-tooltip;\n display: block;\n // Our parent element can be arbitrary since tooltips are by default inserted as a sibling of their target element.\n // So reset our font and text properties to avoid inheriting weird values.\n @include reset-text;\n font-size: $font-size-small;\n\n @include opacity(0);\n\n &.in { @include opacity($tooltip-opacity); }\n &.top { margin-top: -3px; padding: $tooltip-arrow-width 0; }\n &.right { margin-left: 3px; padding: 0 $tooltip-arrow-width; }\n &.bottom { margin-top: 3px; padding: $tooltip-arrow-width 0; }\n &.left { margin-left: -3px; padding: 0 $tooltip-arrow-width; }\n}\n\n// Wrapper for the tooltip content\n.tooltip-inner {\n max-width: $tooltip-max-width;\n padding: 3px 8px;\n color: $tooltip-color;\n text-align: center;\n background-color: $tooltip-bg;\n border-radius: $border-radius-base;\n}\n\n// Arrows\n.tooltip-arrow {\n position: absolute;\n width: 0;\n height: 0;\n border-color: transparent;\n border-style: solid;\n}\n// Note: Deprecated .top-left, .top-right, .bottom-left, and .bottom-right as of v3.3.1\n.tooltip {\n &.top .tooltip-arrow {\n bottom: 0;\n left: 50%;\n margin-left: -$tooltip-arrow-width;\n border-width: $tooltip-arrow-width $tooltip-arrow-width 0;\n border-top-color: $tooltip-arrow-color;\n }\n &.top-left .tooltip-arrow {\n bottom: 0;\n right: $tooltip-arrow-width;\n margin-bottom: -$tooltip-arrow-width;\n border-width: $tooltip-arrow-width $tooltip-arrow-width 0;\n border-top-color: $tooltip-arrow-color;\n }\n &.top-right .tooltip-arrow {\n bottom: 0;\n left: $tooltip-arrow-width;\n margin-bottom: -$tooltip-arrow-width;\n border-width: $tooltip-arrow-width $tooltip-arrow-width 0;\n border-top-color: $tooltip-arrow-color;\n }\n &.right .tooltip-arrow {\n top: 50%;\n left: 0;\n margin-top: -$tooltip-arrow-width;\n border-width: $tooltip-arrow-width $tooltip-arrow-width $tooltip-arrow-width 0;\n border-right-color: $tooltip-arrow-color;\n }\n &.left .tooltip-arrow {\n top: 50%;\n right: 0;\n margin-top: -$tooltip-arrow-width;\n border-width: $tooltip-arrow-width 0 $tooltip-arrow-width $tooltip-arrow-width;\n border-left-color: $tooltip-arrow-color;\n }\n &.bottom .tooltip-arrow {\n top: 0;\n left: 50%;\n margin-left: -$tooltip-arrow-width;\n border-width: 0 $tooltip-arrow-width $tooltip-arrow-width;\n border-bottom-color: $tooltip-arrow-color;\n }\n &.bottom-left .tooltip-arrow {\n top: 0;\n right: $tooltip-arrow-width;\n margin-top: -$tooltip-arrow-width;\n border-width: 0 $tooltip-arrow-width $tooltip-arrow-width;\n border-bottom-color: $tooltip-arrow-color;\n }\n &.bottom-right .tooltip-arrow {\n top: 0;\n left: $tooltip-arrow-width;\n margin-top: -$tooltip-arrow-width;\n border-width: 0 $tooltip-arrow-width $tooltip-arrow-width;\n border-bottom-color: $tooltip-arrow-color;\n }\n}\n","@mixin reset-text() {\n font-family: $font-family-base;\n // We deliberately do NOT reset font-size.\n font-style: normal;\n font-weight: normal;\n letter-spacing: normal;\n line-break: auto;\n line-height: $line-height-base;\n text-align: left; // Fallback for where `start` is not supported\n text-align: start;\n text-decoration: none;\n text-shadow: none;\n text-transform: none;\n white-space: normal;\n word-break: normal;\n word-spacing: normal;\n word-wrap: normal;\n}\n","//\n// Popovers\n// --------------------------------------------------\n\n\n.popover {\n position: absolute;\n top: 0;\n left: 0;\n z-index: $zindex-popover;\n display: none;\n max-width: $popover-max-width;\n padding: 1px;\n // Our parent element can be arbitrary since popovers are by default inserted as a sibling of their target element.\n // So reset our font and text properties to avoid inheriting weird values.\n @include reset-text;\n font-size: $font-size-base;\n\n background-color: $popover-bg;\n background-clip: padding-box;\n border: 1px solid $popover-fallback-border-color;\n border: 1px solid $popover-border-color;\n border-radius: $border-radius-large;\n @include box-shadow(0 5px 10px rgba(0,0,0,.2));\n\n // Offset the popover to account for the popover arrow\n &.top { margin-top: -$popover-arrow-width; }\n &.right { margin-left: $popover-arrow-width; }\n &.bottom { margin-top: $popover-arrow-width; }\n &.left { margin-left: -$popover-arrow-width; }\n}\n\n.popover-title {\n margin: 0; // reset heading margin\n padding: 8px 14px;\n font-size: $font-size-base;\n background-color: $popover-title-bg;\n border-bottom: 1px solid darken($popover-title-bg, 5%);\n border-radius: ($border-radius-large - 1) ($border-radius-large - 1) 0 0;\n}\n\n.popover-content {\n padding: 9px 14px;\n}\n\n// Arrows\n//\n// .arrow is outer, .arrow:after is inner\n\n.popover > .arrow {\n &,\n &:after {\n position: absolute;\n display: block;\n width: 0;\n height: 0;\n border-color: transparent;\n border-style: solid;\n }\n}\n.popover > .arrow {\n border-width: $popover-arrow-outer-width;\n}\n.popover > .arrow:after {\n border-width: $popover-arrow-width;\n content: \"\";\n}\n\n.popover {\n &.top > .arrow {\n left: 50%;\n margin-left: -$popover-arrow-outer-width;\n border-bottom-width: 0;\n border-top-color: $popover-arrow-outer-fallback-color; // IE8 fallback\n border-top-color: $popover-arrow-outer-color;\n bottom: -$popover-arrow-outer-width;\n &:after {\n content: \" \";\n bottom: 1px;\n margin-left: -$popover-arrow-width;\n border-bottom-width: 0;\n border-top-color: $popover-arrow-color;\n }\n }\n &.right > .arrow {\n top: 50%;\n left: -$popover-arrow-outer-width;\n margin-top: -$popover-arrow-outer-width;\n border-left-width: 0;\n border-right-color: $popover-arrow-outer-fallback-color; // IE8 fallback\n border-right-color: $popover-arrow-outer-color;\n &:after {\n content: \" \";\n left: 1px;\n bottom: -$popover-arrow-width;\n border-left-width: 0;\n border-right-color: $popover-arrow-color;\n }\n }\n &.bottom > .arrow {\n left: 50%;\n margin-left: -$popover-arrow-outer-width;\n border-top-width: 0;\n border-bottom-color: $popover-arrow-outer-fallback-color; // IE8 fallback\n border-bottom-color: $popover-arrow-outer-color;\n top: -$popover-arrow-outer-width;\n &:after {\n content: \" \";\n top: 1px;\n margin-left: -$popover-arrow-width;\n border-top-width: 0;\n border-bottom-color: $popover-arrow-color;\n }\n }\n\n &.left > .arrow {\n top: 50%;\n right: -$popover-arrow-outer-width;\n margin-top: -$popover-arrow-outer-width;\n border-right-width: 0;\n border-left-color: $popover-arrow-outer-fallback-color; // IE8 fallback\n border-left-color: $popover-arrow-outer-color;\n &:after {\n content: \" \";\n right: 1px;\n border-right-width: 0;\n border-left-color: $popover-arrow-color;\n bottom: -$popover-arrow-width;\n }\n }\n}\n","//\n// Carousel\n// --------------------------------------------------\n\n\n// Wrapper for the slide container and indicators\n.carousel {\n position: relative;\n}\n\n.carousel-inner {\n position: relative;\n overflow: hidden;\n width: 100%;\n\n > .item {\n display: none;\n position: relative;\n @include transition(.6s ease-in-out left);\n\n // Account for jankitude on images\n > img,\n > a > img {\n @include img-responsive;\n line-height: 1;\n }\n\n // WebKit CSS3 transforms for supported devices\n @media all and (transform-3d), (-webkit-transform-3d) {\n @include transition-transform(0.6s ease-in-out);\n @include backface-visibility(hidden);\n @include perspective(1000px);\n\n &.next,\n &.active.right {\n @include translate3d(100%, 0, 0);\n left: 0;\n }\n &.prev,\n &.active.left {\n @include translate3d(-100%, 0, 0);\n left: 0;\n }\n &.next.left,\n &.prev.right,\n &.active {\n @include translate3d(0, 0, 0);\n left: 0;\n }\n }\n }\n\n > .active,\n > .next,\n > .prev {\n display: block;\n }\n\n > .active {\n left: 0;\n }\n\n > .next,\n > .prev {\n position: absolute;\n top: 0;\n width: 100%;\n }\n\n > .next {\n left: 100%;\n }\n > .prev {\n left: -100%;\n }\n > .next.left,\n > .prev.right {\n left: 0;\n }\n\n > .active.left {\n left: -100%;\n }\n > .active.right {\n left: 100%;\n }\n\n}\n\n// Left/right controls for nav\n// ---------------------------\n\n.carousel-control {\n position: absolute;\n top: 0;\n left: 0;\n bottom: 0;\n width: $carousel-control-width;\n @include opacity($carousel-control-opacity);\n font-size: $carousel-control-font-size;\n color: $carousel-control-color;\n text-align: center;\n text-shadow: $carousel-text-shadow;\n background-color: rgba(0, 0, 0, 0); // Fix IE9 click-thru bug\n // We can't have this transition here because WebKit cancels the carousel\n // animation if you trip this while in the middle of another animation.\n\n // Set gradients for backgrounds\n &.left {\n @include gradient-horizontal($start-color: rgba(0,0,0,.5), $end-color: rgba(0,0,0,.0001));\n }\n &.right {\n left: auto;\n right: 0;\n @include gradient-horizontal($start-color: rgba(0,0,0,.0001), $end-color: rgba(0,0,0,.5));\n }\n\n // Hover/focus state\n &:hover,\n &:focus {\n outline: 0;\n color: $carousel-control-color;\n text-decoration: none;\n @include opacity(.9);\n }\n\n // Toggles\n .icon-prev,\n .icon-next,\n .glyphicon-chevron-left,\n .glyphicon-chevron-right {\n position: absolute;\n top: 50%;\n margin-top: -10px;\n z-index: 5;\n display: inline-block;\n }\n .icon-prev,\n .glyphicon-chevron-left {\n left: 50%;\n margin-left: -10px;\n }\n .icon-next,\n .glyphicon-chevron-right {\n right: 50%;\n margin-right: -10px;\n }\n .icon-prev,\n .icon-next {\n width: 20px;\n height: 20px;\n line-height: 1;\n font-family: serif;\n }\n\n\n .icon-prev {\n &:before {\n content: '\\2039';// SINGLE LEFT-POINTING ANGLE QUOTATION MARK (U+2039)\n }\n }\n .icon-next {\n &:before {\n content: '\\203a';// SINGLE RIGHT-POINTING ANGLE QUOTATION MARK (U+203A)\n }\n }\n}\n\n// Optional indicator pips\n//\n// Add an unordered list with the following class and add a list item for each\n// slide your carousel holds.\n\n.carousel-indicators {\n position: absolute;\n bottom: 10px;\n left: 50%;\n z-index: 15;\n width: 60%;\n margin-left: -30%;\n padding-left: 0;\n list-style: none;\n text-align: center;\n\n li {\n display: inline-block;\n width: 10px;\n height: 10px;\n margin: 1px;\n text-indent: -999px;\n border: 1px solid $carousel-indicator-border-color;\n border-radius: 10px;\n cursor: pointer;\n\n // IE8-9 hack for event handling\n //\n // Internet Explorer 8-9 does not support clicks on elements without a set\n // `background-color`. We cannot use `filter` since that's not viewed as a\n // background color by the browser. Thus, a hack is needed.\n // See https://developer.mozilla.org/en-US/docs/Web/Events/click#Internet_Explorer\n //\n // For IE8, we set solid black as it doesn't support `rgba()`. For IE9, we\n // set alpha transparency for the best results possible.\n background-color: #000 \\9; // IE8\n background-color: rgba(0,0,0,0); // IE9\n }\n .active {\n margin: 0;\n width: 12px;\n height: 12px;\n background-color: $carousel-indicator-active-bg;\n }\n}\n\n// Optional captions\n// -----------------------------\n// Hidden by default for smaller viewports\n.carousel-caption {\n position: absolute;\n left: 15%;\n right: 15%;\n bottom: 20px;\n z-index: 10;\n padding-top: 20px;\n padding-bottom: 20px;\n color: $carousel-caption-color;\n text-align: center;\n text-shadow: $carousel-text-shadow;\n & .btn {\n text-shadow: none; // No shadow for button elements in carousel-caption\n }\n}\n\n\n// Scale up controls for tablets and up\n@media screen and (min-width: $screen-sm-min) {\n\n // Scale up the controls a smidge\n .carousel-control {\n .glyphicon-chevron-left,\n .glyphicon-chevron-right,\n .icon-prev,\n .icon-next {\n width: ($carousel-control-font-size * 1.5);\n height: ($carousel-control-font-size * 1.5);\n margin-top: ($carousel-control-font-size / -2);\n font-size: ($carousel-control-font-size * 1.5);\n }\n .glyphicon-chevron-left,\n .icon-prev {\n margin-left: ($carousel-control-font-size / -2);\n }\n .glyphicon-chevron-right,\n .icon-next {\n margin-right: ($carousel-control-font-size / -2);\n }\n }\n\n // Show and left align the captions\n .carousel-caption {\n left: 20%;\n right: 20%;\n padding-bottom: 30px;\n }\n\n // Move up the indicators\n .carousel-indicators {\n bottom: 20px;\n }\n}\n","//\n// Utility classes\n// --------------------------------------------------\n\n\n// Floats\n// -------------------------\n\n.clearfix {\n @include clearfix;\n}\n.center-block {\n @include center-block;\n}\n.pull-right {\n float: right !important;\n}\n.pull-left {\n float: left !important;\n}\n\n\n// Toggling content\n// -------------------------\n\n// Note: Deprecated .hide in favor of .hidden or .sr-only (as appropriate) in v3.0.1\n.hide {\n display: none !important;\n}\n.show {\n display: block !important;\n}\n.invisible {\n visibility: hidden;\n}\n.text-hide {\n @include text-hide;\n}\n\n\n// Hide from screenreaders and browsers\n//\n// Credit: HTML5 Boilerplate\n\n.hidden {\n display: none !important;\n}\n\n\n// For Affix plugin\n// -------------------------\n\n.affix {\n position: fixed;\n}\n","// Center-align a block level element\n\n@mixin center-block() {\n display: block;\n margin-left: auto;\n margin-right: auto;\n}\n","// CSS image replacement\n//\n// Heads up! v3 launched with only `.hide-text()`, but per our pattern for\n// mixins being reused as classes with the same name, this doesn't hold up. As\n// of v3.0.1 we have added `.text-hide()` and deprecated `.hide-text()`.\n//\n// Source: https://github.com/h5bp/html5-boilerplate/commit/aa0396eae757\n\n// Deprecated as of v3.0.1 (has been removed in v4)\n@mixin hide-text() {\n font: 0/0 a;\n color: transparent;\n text-shadow: none;\n background-color: transparent;\n border: 0;\n}\n\n// New mixin to use as of v3.0.1\n@mixin text-hide() {\n @include hide-text;\n}\n","//\n// Responsive: Utility classes\n// --------------------------------------------------\n\n\n// IE10 in Windows (Phone) 8\n//\n// Support for responsive views via media queries is kind of borked in IE10, for\n// Surface/desktop in split view and for Windows Phone 8. This particular fix\n// must be accompanied by a snippet of JavaScript to sniff the user agent and\n// apply some conditional CSS to *only* the Surface/desktop Windows 8. Look at\n// our Getting Started page for more information on this bug.\n//\n// For more information, see the following:\n//\n// Issue: https://github.com/twbs/bootstrap/issues/10497\n// Docs: http://getbootstrap.com/getting-started/#support-ie10-width\n// Source: http://timkadlec.com/2013/01/windows-phone-8-and-device-width/\n// Source: http://timkadlec.com/2012/10/ie10-snap-mode-and-responsive-design/\n\n@at-root {\n @-ms-viewport {\n width: device-width;\n }\n}\n\n\n// Visibility utilities\n// Note: Deprecated .visible-xs, .visible-sm, .visible-md, and .visible-lg as of v3.2.0\n\n@include responsive-invisibility('.visible-xs');\n@include responsive-invisibility('.visible-sm');\n@include responsive-invisibility('.visible-md');\n@include responsive-invisibility('.visible-lg');\n\n.visible-xs-block,\n.visible-xs-inline,\n.visible-xs-inline-block,\n.visible-sm-block,\n.visible-sm-inline,\n.visible-sm-inline-block,\n.visible-md-block,\n.visible-md-inline,\n.visible-md-inline-block,\n.visible-lg-block,\n.visible-lg-inline,\n.visible-lg-inline-block {\n display: none !important;\n}\n\n@media (max-width: $screen-xs-max) {\n @include responsive-visibility('.visible-xs');\n}\n.visible-xs-block {\n @media (max-width: $screen-xs-max) {\n display: block !important;\n }\n}\n.visible-xs-inline {\n @media (max-width: $screen-xs-max) {\n display: inline !important;\n }\n}\n.visible-xs-inline-block {\n @media (max-width: $screen-xs-max) {\n display: inline-block !important;\n }\n}\n\n@media (min-width: $screen-sm-min) and (max-width: $screen-sm-max) {\n @include responsive-visibility('.visible-sm');\n}\n.visible-sm-block {\n @media (min-width: $screen-sm-min) and (max-width: $screen-sm-max) {\n display: block !important;\n }\n}\n.visible-sm-inline {\n @media (min-width: $screen-sm-min) and (max-width: $screen-sm-max) {\n display: inline !important;\n }\n}\n.visible-sm-inline-block {\n @media (min-width: $screen-sm-min) and (max-width: $screen-sm-max) {\n display: inline-block !important;\n }\n}\n\n@media (min-width: $screen-md-min) and (max-width: $screen-md-max) {\n @include responsive-visibility('.visible-md');\n}\n.visible-md-block {\n @media (min-width: $screen-md-min) and (max-width: $screen-md-max) {\n display: block !important;\n }\n}\n.visible-md-inline {\n @media (min-width: $screen-md-min) and (max-width: $screen-md-max) {\n display: inline !important;\n }\n}\n.visible-md-inline-block {\n @media (min-width: $screen-md-min) and (max-width: $screen-md-max) {\n display: inline-block !important;\n }\n}\n\n@media (min-width: $screen-lg-min) {\n @include responsive-visibility('.visible-lg');\n}\n.visible-lg-block {\n @media (min-width: $screen-lg-min) {\n display: block !important;\n }\n}\n.visible-lg-inline {\n @media (min-width: $screen-lg-min) {\n display: inline !important;\n }\n}\n.visible-lg-inline-block {\n @media (min-width: $screen-lg-min) {\n display: inline-block !important;\n }\n}\n\n@media (max-width: $screen-xs-max) {\n @include responsive-invisibility('.hidden-xs');\n}\n\n@media (min-width: $screen-sm-min) and (max-width: $screen-sm-max) {\n @include responsive-invisibility('.hidden-sm');\n}\n\n@media (min-width: $screen-md-min) and (max-width: $screen-md-max) {\n @include responsive-invisibility('.hidden-md');\n}\n\n@media (min-width: $screen-lg-min) {\n @include responsive-invisibility('.hidden-lg');\n}\n\n\n// Print utilities\n//\n// Media queries are placed on the inside to be mixin-friendly.\n\n// Note: Deprecated .visible-print as of v3.2.0\n\n@include responsive-invisibility('.visible-print');\n\n@media print {\n @include responsive-visibility('.visible-print');\n}\n.visible-print-block {\n display: none !important;\n\n @media print {\n display: block !important;\n }\n}\n.visible-print-inline {\n display: none !important;\n\n @media print {\n display: inline !important;\n }\n}\n.visible-print-inline-block {\n display: none !important;\n\n @media print {\n display: inline-block !important;\n }\n}\n\n@media print {\n @include responsive-invisibility('.hidden-print');\n}\n","// Responsive utilities\n\n//\n// More easily include all the states for responsive-utilities.less.\n// [converter] $parent hack\n@mixin responsive-visibility($parent) {\n #{$parent} {\n display: block !important;\n }\n table#{$parent} { display: table !important; }\n tr#{$parent} { display: table-row !important; }\n th#{$parent},\n td#{$parent} { display: table-cell !important; }\n}\n\n// [converter] $parent hack\n@mixin responsive-invisibility($parent) {\n #{$parent} {\n display: none !important;\n }\n}\n","// SPDX-License-Identifier: CC-BY-SA-4.0\n// Copyright 2020 seL4 Project a Series of LF Projects, LLC.\n\n@charset \"utf-8\";\n\n// Override defaults for bootstrap variables here.\n\n// $font-size-base: 16px !default;\n\n$spacing-unit: 30px !default;\n\n$table-text-align: left !default;\n\n\n// \"bootstrap-sprockets\" must be imported before \"bootstrap\" and \"bootstrap/variables\"\n@import \"bootstrap-sprockets\";\n@import \"bootstrap\";\n\n\nhtml {\n font-size: $font-size-base;\n}\n\n@media print {\n\t#site-navigation { display: none; }\n\t#site-header a[href]:after {\n\t content: none;\n\t}\n}\n\ntable.alttable tr:nth-child(even) {\n background-color: #f0f0f0;\n}\n\n\n// Menu styling borrowed from rust-www site.\nul.menu {\n font-size: 1em;\n margin: 0;\n padding: 0;\n text-align: center;\n}\nul.menu li {\n list-style-type: none;\n margin-top: 0em;\n margin-bottom: 0em;\n}\nul.menu h2 {\n font-size: 1.5em;\n font-weight: 500;\n margin: 1em;\n display: inline;\n line-height: 1.5em;\n}\nul.menu li>ul {\n margin-top: .5em;\n padding-left: 0em;\n line-height: 1.5em;\n}\n\n.menu img {\n margin: 0 auto 1.5em auto;\n}\n@media (min-width: 992px) {\n ul.menu li.menu {\n margin-top: 3em;\n }\n ul.menu {\n text-align: left;\n }\n .menu img {\n margin: 0;\n }\n}\n\n\n// This styles the toc \n.section-nav {\n background-color: #FFF;\n margin: 5px 0;\n padding: 10px 30px;\n border: 1px solid #E8E8E8;\n border-radius: 3px;\n}\n\n\n\n\n/**\n * Tables, This code inspired by minima theme\n * Bootstrap doesn't style tables automatically.\n * These variables are defined by bootstrap\n */\ntable {\n margin-bottom: $spacing-unit;\n width: 100%;\n text-align: $table-text-align;\n border-collapse: collapse;\n border: 1px solid $gray-lighter;\n tr {\n &:nth-child(even) {\n background-color: lighten($gray-lighter, 3%);\n a {\n color: $link-hover-color\n }\n }\n }\n th, td {\n padding: ($spacing-unit / 3) ($spacing-unit / 2);\n }\n th {\n background-color: darken($gray-lighter, 3%);\n border: 1px solid darken($gray-lighter, 10%);\n border-bottom-color: darken($gray-lighter, 12%);\n }\n td {\n border: 1px solid $gray-lighter;\n }\n}\n\n@mixin relative-font-size($ratio) {\n font-size: $font-size-base * $ratio;\n}\n\n\n/**\n * Nav bar.\n */\n\n/* nav bar top settings */\ndiv.breadcrumbs.bootstrap {\n font-size: 1.35rem;\n padding: 0.75rem 1rem;\n margin-bottom: 1rem;\n list-style: none;\n background-color: #f1f2ed;\n border-radius: 0.25rem;\n}\n\ndiv.breadcrumbs.bootstrap ol {\n margin-left: 0;\n margin-bottom: 0;\n}\n\n.sel-breadcrumb{\n float: left;\n}\n\n\ndiv.breadcrumbs.bootstrap .breadcrumb-item {\n float: left;\n}\n\n/* The \".breadcrumb-item +\" part prevents the \"/\" from being created for the first one */\ndiv.breadcrumbs.bootstrap .breadcrumb-item + .breadcrumb-item::before {\n display: inline-block;\n padding-right: 0.5rem;\n padding-left: 0.5rem;\n color: #818a91;\n content: \"/\";\n}\n\n/*Don't underline the content: \"/\" part on hover */\ndiv.breadcrumbs.bootstrap .breadcrumb-item + .breadcrumb-item:hover::before {\n text-decoration: none;\n}\n\n.sel-version{\n float: right;\n margin-bottom: 0;\n}\n\n.sel-version li{\n display: inline-block;\n padding:0rem 0.5rem;\n}\n\n.clear{\n clear: both;\n}\n\n/**\n * Site footer\n */\n\n \n/**\n * Clearfix\n */\n%clearfix:after {\n content: \"\";\n display: table;\n clear: both;\n}\n\n\n.site-footer {\n border-top: 1px solid $gray-lighter;\n padding: $spacing-unit 0;\n}\n\n.footer-heading {\n @include relative-font-size(1.125);\n margin-bottom: $spacing-unit / 2;\n}\n\n.social-media-list {\n list-style: none;\n margin-left: 0;\n}\n\n.footer-col-wrapper {\n @include relative-font-size(0.9375);\n color: $gray;\n margin-left: -$spacing-unit / 2;\n @extend %clearfix;\n}\n\nh2 a,\n.api code {\n white-space: pre;\n}\n\n.icon-resize {\n font-size: 1.2rem;\n}\n\n.sidebar-toc {\n overflow-x: hidden; /* Disable horizontal scroll */\n}\n\n.sidebar {\n background-color: #f1f2ed;\n border-radius: 0.25rem;\n padding: 1rem;\n\n}\n\n.nav-sidebar > li > a {\n padding-right: 20px;\n padding-left: 20px;\n}\n.nav-sidebar > .active > a,\n.nav-sidebar > .active > a:hover,\n.nav-sidebar > .active > a:focus {\n color: #fff;\n background-color: #428bca;\n}\n\n/* This adds a unicode character corresponding to .fa-external-link-alt from fontawesome\n to every external link */\na[href*=\"//\"]:not([href*=\"https://docs.sel4.systems\"],.skip-icon):after {\n display:inline-block;\n font-style:normal;\n font-variant:normal;\n text-rendering:auto;\n line-height:1;\n font-weight:900;\n font-family: Font Awesome\\ 5 Free;\n margin-left: 0.2em;\n content: \" \\f35d\";\n}\n\n.plain-links a[href*=\"//\"]:not([href*=\"https://docs.sel4.systems\"],.skip-icon):after {\n display: none;\n}\n\n/* flexbox styling sourced from: https://css-tricks.com/dont-overthink-flexbox-grids/ */\n.flex-grid {\n display: flex;\n}\n.col {\n flex: 1;\n padding: 20px;\n}\n@media (max-width: 700px) {\n .flex-grid {\n display: block;\n }\n}\n\n.flex-grid-thirds {\n display: flex;\n justify-content: space-between;\n}\n.flex-grid-thirds .col {\n width: 32%;\n}\n"],"file":"style.css"}
\ No newline at end of file
diff --git a/index.html b/index.html
index 4b28644dbe..fca1b98368 100644
--- a/index.html
+++ b/index.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -203,7 +203,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Mon Oct 23 14:16:33 2023 +1100 827111ddcf
diff --git a/processes/code-review.html b/processes/code-review.html
index 53022cf76a..d9f716ad24 100644
--- a/processes/code-review.html
+++ b/processes/code-review.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -462,7 +462,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Wed Jul 28 11:02:39 2021 +1000 4e9d4ab1f5
diff --git a/processes/conduct.html b/processes/conduct.html
index 92d6103e95..2607a1a968 100644
--- a/processes/conduct.html
+++ b/processes/conduct.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -313,7 +313,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Wed Mar 23 12:19:26 2022 +1100 f160c38c73
diff --git a/processes/contributing.html b/processes/contributing.html
index 324e1fff46..0c74e4b930 100644
--- a/processes/contributing.html
+++ b/processes/contributing.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -333,7 +333,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Thu Nov 11 11:50:06 2021 +1100 5fc78c1c47
diff --git a/processes/docs-contributing.html b/processes/docs-contributing.html
index 427518431c..af498f459f 100644
--- a/processes/docs-contributing.html
+++ b/processes/docs-contributing.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -277,7 +277,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Wed Mar 23 12:37:08 2022 +1100 3bcc34568c
diff --git a/processes/emails.html b/processes/emails.html
index f07d8872a3..f8cff9c269 100644
--- a/processes/emails.html
+++ b/processes/emails.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -281,7 +281,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Wed Mar 23 12:19:26 2022 +1100 f160c38c73
diff --git a/processes/git-conventions.html b/processes/git-conventions.html
index 551a289193..801740e2b7 100644
--- a/processes/git-conventions.html
+++ b/processes/git-conventions.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -325,7 +325,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Sat Jan 8 09:23:51 2022 +1100 12bd2f5a6d
diff --git a/processes/index.html b/processes/index.html
index d7b72f08d8..efe33911a4 100644
--- a/processes/index.html
+++ b/processes/index.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -421,7 +421,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Thu Mar 24 14:19:51 2022 +1100 461e5e0896
diff --git a/processes/irc-channel.html b/processes/irc-channel.html
index 5e1889bf5c..48b1d96ff6 100644
--- a/processes/irc-channel.html
+++ b/processes/irc-channel.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -184,7 +184,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17
diff --git a/processes/licenses.html b/processes/licenses.html
index ef200b8e25..85394a8c8b 100644
--- a/processes/licenses.html
+++ b/processes/licenses.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -290,7 +290,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Thu Jan 12 11:07:34 2023 +1100 bf46bb9105
diff --git a/processes/release-process.html b/processes/release-process.html
index 46c1df02aa..9e5fd96b58 100644
--- a/processes/release-process.html
+++ b/processes/release-process.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -572,7 +572,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Mon Nov 8 11:44:44 2021 +1100 b6c91ad468
diff --git a/processes/rfc-process.html b/processes/rfc-process.html
index 4d02568bba..20089c1bb6 100644
--- a/processes/rfc-process.html
+++ b/processes/rfc-process.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -568,7 +568,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Mon Oct 23 20:37:42 2023 +1100 f1fe82bf8d
diff --git a/processes/roles.html b/processes/roles.html
index b95bb169c0..a77c08db8c 100644
--- a/processes/roles.html
+++ b/processes/roles.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -274,7 +274,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Thu Aug 31 17:23:26 2023 +0100 6eb462f624
diff --git a/processes/style-guide.html b/processes/style-guide.html
index 01d9bab374..23246bfa16 100644
--- a/processes/style-guide.html
+++ b/processes/style-guide.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -575,7 +575,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Wed Oct 18 11:52:29 2023 +1100 7b0cc2c80e
diff --git a/processes/test-status.html b/processes/test-status.html
index 4a54383a98..99311f7d60 100644
--- a/processes/test-status.html
+++ b/processes/test-status.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -555,7 +555,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Thu Jun 1 21:02:54 2023 +1000 0dcdd7b555
diff --git a/processes/websites.html b/processes/websites.html
index 8013989d68..1417208433 100644
--- a/processes/websites.html
+++ b/processes/websites.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -274,7 +274,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Wed Aug 25 12:10:59 2021 +1000 3923c8361b
diff --git a/projects/available-user-components.html b/projects/available-user-components.html
index a494c6382f..122d4e210d 100644
--- a/projects/available-user-components.html
+++ b/projects/available-user-components.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -1449,7 +1449,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17
diff --git a/projects/buildsystem/host-dependencies.html b/projects/buildsystem/host-dependencies.html
index d98e7774da..5dcb7ac41c 100644
--- a/projects/buildsystem/host-dependencies.html
+++ b/projects/buildsystem/host-dependencies.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -818,7 +818,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17
diff --git a/projects/buildsystem/incorporating.html b/projects/buildsystem/incorporating.html
index addc889161..3c6e1b1f7f 100644
--- a/projects/buildsystem/incorporating.html
+++ b/projects/buildsystem/incorporating.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -675,7 +675,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Mon Nov 8 11:45:32 2021 +1100 7936038ee0
diff --git a/projects/buildsystem/index.html b/projects/buildsystem/index.html
index 21403abd66..6027192db9 100644
--- a/projects/buildsystem/index.html
+++ b/projects/buildsystem/index.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -495,7 +495,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17
diff --git a/projects/buildsystem/old/index.html b/projects/buildsystem/old/index.html
index 81de0ffcb3..87e711a9a1 100644
--- a/projects/buildsystem/old/index.html
+++ b/projects/buildsystem/old/index.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -963,7 +963,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17
diff --git a/projects/buildsystem/repo-cheatsheet.html b/projects/buildsystem/repo-cheatsheet.html
index 7b655d8a0d..a5c07c59f7 100644
--- a/projects/buildsystem/repo-cheatsheet.html
+++ b/projects/buildsystem/repo-cheatsheet.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -685,7 +685,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Thu Nov 11 11:50:06 2021 +1100 0469eefc77
diff --git a/projects/buildsystem/standalone.html b/projects/buildsystem/standalone.html
index 17de0e5093..d196cec10c 100644
--- a/projects/buildsystem/standalone.html
+++ b/projects/buildsystem/standalone.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -529,7 +529,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Thu Dec 1 11:02:14 2022 +1100 5446a1befb
diff --git a/projects/buildsystem/using.html b/projects/buildsystem/using.html
index 7d69dc98c1..10af0fba8c 100644
--- a/projects/buildsystem/using.html
+++ b/projects/buildsystem/using.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -675,7 +675,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17
diff --git a/projects/camkes-vm/centos.html b/projects/camkes-vm/centos.html
index 8015b2a166..faeaadd497 100644
--- a/projects/camkes-vm/centos.html
+++ b/projects/camkes-vm/centos.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -513,7 +513,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17
diff --git a/projects/camkes-vm/index.html b/projects/camkes-vm/index.html
index 0bda3660f9..6dce8a8210 100644
--- a/projects/camkes-vm/index.html
+++ b/projects/camkes-vm/index.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -1093,7 +1093,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Thu Mar 24 14:19:51 2022 +1100 461e5e0896
diff --git a/projects/camkes-vm/zmq-samples.html b/projects/camkes-vm/zmq-samples.html
index cfb032df20..ba2f2ba913 100644
--- a/projects/camkes-vm/zmq-samples.html
+++ b/projects/camkes-vm/zmq-samples.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -714,7 +714,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17
diff --git a/projects/camkes/cli.html b/projects/camkes/cli.html
index 3d2e1ce5a6..438768a1f1 100644
--- a/projects/camkes/cli.html
+++ b/projects/camkes/cli.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -615,7 +615,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17
diff --git a/projects/camkes/differences.html b/projects/camkes/differences.html
index ee8cd7abbf..2d7e8ac79c 100644
--- a/projects/camkes/differences.html
+++ b/projects/camkes/differences.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -819,7 +819,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17
diff --git a/projects/camkes/index.html b/projects/camkes/index.html
index d202ba6055..047666335f 100644
--- a/projects/camkes/index.html
+++ b/projects/camkes/index.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -664,7 +664,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17
diff --git a/projects/camkes/internals.html b/projects/camkes/internals.html
index f24f033ecb..0da7387786 100644
--- a/projects/camkes/internals.html
+++ b/projects/camkes/internals.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -827,7 +827,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Tue Mar 9 13:04:54 2021 +1100 6eb8c7ffa9
diff --git a/projects/camkes/manual.html b/projects/camkes/manual.html
index a8ecd46ae5..aad03ca056 100644
--- a/projects/camkes/manual.html
+++ b/projects/camkes/manual.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -4266,7 +4266,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17
diff --git a/projects/camkes/next.html b/projects/camkes/next.html
index 861bb7be8a..9fd766f92e 100644
--- a/projects/camkes/next.html
+++ b/projects/camkes/next.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -673,7 +673,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17
diff --git a/projects/camkes/seL4SharedDataWithCaps.html b/projects/camkes/seL4SharedDataWithCaps.html
index 4044cfa057..cd2ca53ea6 100644
--- a/projects/camkes/seL4SharedDataWithCaps.html
+++ b/projects/camkes/seL4SharedDataWithCaps.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -611,7 +611,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Mon Nov 8 11:45:32 2021 +1100 7936038ee0
diff --git a/projects/camkes/status.html b/projects/camkes/status.html
index 51ea69c043..66c34d522c 100644
--- a/projects/camkes/status.html
+++ b/projects/camkes/status.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -1554,7 +1554,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
diff --git a/projects/camkes/terminology.html b/projects/camkes/terminology.html
index 1bc051ba5b..343156a473 100644
--- a/projects/camkes/terminology.html
+++ b/projects/camkes/terminology.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -850,7 +850,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17
diff --git a/projects/camkes/visual-camkes/index.html b/projects/camkes/visual-camkes/index.html
index 3cf60be36d..944b8762dd 100644
--- a/projects/camkes/visual-camkes/index.html
+++ b/projects/camkes/visual-camkes/index.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -874,7 +874,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Tue Mar 9 13:04:50 2021 +1100 0517ff9e8b
diff --git a/projects/capdl/c-loader-app.html b/projects/capdl/c-loader-app.html
index 6ea5f65c7c..122b37fe6d 100644
--- a/projects/capdl/c-loader-app.html
+++ b/projects/capdl/c-loader-app.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -484,7 +484,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17
diff --git a/projects/capdl/cdl-utils.html b/projects/capdl/cdl-utils.html
index 36ef062791..55832d4822 100644
--- a/projects/capdl/cdl-utils.html
+++ b/projects/capdl/cdl-utils.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -470,7 +470,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17
diff --git a/projects/capdl/index.html b/projects/capdl/index.html
index 34ff77aaa6..b84fcdd966 100644
--- a/projects/capdl/index.html
+++ b/projects/capdl/index.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -541,7 +541,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17
diff --git a/projects/capdl/object-sizes.html b/projects/capdl/object-sizes.html
index 316f8aca48..ede777c2df 100644
--- a/projects/capdl/object-sizes.html
+++ b/projects/capdl/object-sizes.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -462,7 +462,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17
diff --git a/projects/capdl/python-tool.html b/projects/capdl/python-tool.html
index 541385b740..dfe564d444 100644
--- a/projects/capdl/python-tool.html
+++ b/projects/capdl/python-tool.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -465,7 +465,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17
diff --git a/projects/capdl/translator.html b/projects/capdl/translator.html
index 93eb10d523..add556cc9d 100644
--- a/projects/capdl/translator.html
+++ b/projects/capdl/translator.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -511,7 +511,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17
diff --git a/projects/dockerfiles/index.html b/projects/dockerfiles/index.html
index b479666d7a..d8d0edb44a 100644
--- a/projects/dockerfiles/index.html
+++ b/projects/dockerfiles/index.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -511,7 +511,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Thu Jan 12 15:17:30 2023 +1100 dc9a925e6b
diff --git a/projects/docsite/index.html b/projects/docsite/index.html
index c2041b7236..e8bbc002a6 100644
--- a/projects/docsite/index.html
+++ b/projects/docsite/index.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -507,7 +507,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17
diff --git a/projects/driver_framework/AddressingOtherDevices.html b/projects/driver_framework/AddressingOtherDevices.html
index 0e9fcf5a4a..a4c8136d2f 100644
--- a/projects/driver_framework/AddressingOtherDevices.html
+++ b/projects/driver_framework/AddressingOtherDevices.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -454,7 +454,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17
diff --git a/projects/driver_framework/ChildEnumeration.html b/projects/driver_framework/ChildEnumeration.html
index 75695d7de9..14a6e2e729 100644
--- a/projects/driver_framework/ChildEnumeration.html
+++ b/projects/driver_framework/ChildEnumeration.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -626,7 +626,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17
diff --git a/projects/driver_framework/DriverManagement.html b/projects/driver_framework/DriverManagement.html
index 7755a09f0f..b2404ca4c9 100644
--- a/projects/driver_framework/DriverManagement.html
+++ b/projects/driver_framework/DriverManagement.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -553,7 +553,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17
diff --git a/projects/elfloader/index.html b/projects/elfloader/index.html
index 2be9bbd62a..f726df8026 100644
--- a/projects/elfloader/index.html
+++ b/projects/elfloader/index.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -595,7 +595,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17
diff --git a/projects/hardware_hacks/index.html b/projects/hardware_hacks/index.html
index 72342f233b..d5bc1e422b 100644
--- a/projects/hardware_hacks/index.html
+++ b/projects/hardware_hacks/index.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -435,7 +435,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17
diff --git a/projects/hardware_hacks/level-converter/index.html b/projects/hardware_hacks/level-converter/index.html
index 1fd3cf5867..ca00f6253c 100644
--- a/projects/hardware_hacks/level-converter/index.html
+++ b/projects/hardware_hacks/level-converter/index.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -428,7 +428,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17
diff --git a/projects/index.html b/projects/index.html
index d3072d542d..717d0d1ecf 100644
--- a/projects/index.html
+++ b/projects/index.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -1025,7 +1025,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
diff --git a/projects/l4v/index.html b/projects/l4v/index.html
index d857e835c9..046ec4c3f3 100644
--- a/projects/l4v/index.html
+++ b/projects/l4v/index.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -448,7 +448,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Wed Aug 25 12:10:59 2021 +1000 3923c8361b
diff --git a/projects/microkit/index.html b/projects/microkit/index.html
index 058da64115..a3f94a6292 100644
--- a/projects/microkit/index.html
+++ b/projects/microkit/index.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -470,7 +470,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Mon Oct 23 14:16:33 2023 +1100 827111ddcf
diff --git a/projects/roadmap.html b/projects/roadmap.html
index ff8018a9f1..de9c957a76 100644
--- a/projects/roadmap.html
+++ b/projects/roadmap.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -399,7 +399,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Thu Nov 11 11:50:06 2021 +1100 318c724114
diff --git a/projects/rust/index.html b/projects/rust/index.html
index 988c18e2a2..8df1f5306d 100644
--- a/projects/rust/index.html
+++ b/projects/rust/index.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -534,7 +534,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Thu Jan 27 20:08:19 2022 +1100 8274e01bba
diff --git a/projects/sel4-tutorials/benchmarking-guide.html b/projects/sel4-tutorials/benchmarking-guide.html
index 3e3bcd47d9..ca8737162b 100644
--- a/projects/sel4-tutorials/benchmarking-guide.html
+++ b/projects/sel4-tutorials/benchmarking-guide.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -804,7 +804,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17
diff --git a/projects/sel4-tutorials/debugging-guide.html b/projects/sel4-tutorials/debugging-guide.html
index 42fc5e4b5f..d588cb2ccd 100644
--- a/projects/sel4-tutorials/debugging-guide.html
+++ b/projects/sel4-tutorials/debugging-guide.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -708,7 +708,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Tue Mar 9 13:04:50 2021 +1100 0517ff9e8b
diff --git a/projects/sel4-tutorials/debugging-userspace.html b/projects/sel4-tutorials/debugging-userspace.html
index e5f458fee0..e1fc5cab28 100644
--- a/projects/sel4-tutorials/debugging-userspace.html
+++ b/projects/sel4-tutorials/debugging-userspace.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -501,7 +501,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17
diff --git a/projects/sel4/api-doc.html b/projects/sel4/api-doc.html
index 2cee204fbe..f6d4837df9 100644
--- a/projects/sel4/api-doc.html
+++ b/projects/sel4/api-doc.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -9593,7 +9593,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17
diff --git a/projects/sel4/documentation.html b/projects/sel4/documentation.html
index f8407cf66d..aa78aa79c6 100644
--- a/projects/sel4/documentation.html
+++ b/projects/sel4/documentation.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -728,7 +728,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Fri May 19 07:09:06 2023 +1000 6715421146
diff --git a/projects/sel4/frequently-asked-questions.html b/projects/sel4/frequently-asked-questions.html
index 88bf2917bd..46ca96db67 100644
--- a/projects/sel4/frequently-asked-questions.html
+++ b/projects/sel4/frequently-asked-questions.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -1402,7 +1402,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Thu Aug 17 09:12:44 2023 +0100 c3d8a2e42c
diff --git a/projects/sel4/index.html b/projects/sel4/index.html
index 972ab6d05c..182ba4d415 100644
--- a/projects/sel4/index.html
+++ b/projects/sel4/index.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -868,7 +868,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17
diff --git a/projects/sel4/kernel-contribution.html b/projects/sel4/kernel-contribution.html
index 43c6fa61ff..96ce097076 100644
--- a/projects/sel4/kernel-contribution.html
+++ b/projects/sel4/kernel-contribution.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -975,7 +975,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17
diff --git a/projects/sel4/manual-api-generation.html b/projects/sel4/manual-api-generation.html
index f2ddec5d1e..8125bf04fe 100644
--- a/projects/sel4/manual-api-generation.html
+++ b/projects/sel4/manual-api-generation.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -1006,7 +1006,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Wed Mar 23 08:57:48 2022 +1100 ddb17ed2be
diff --git a/projects/sel4/porting.html b/projects/sel4/porting.html
index 027e619738..7f7d245020 100644
--- a/projects/sel4/porting.html
+++ b/projects/sel4/porting.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -847,7 +847,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Thu Jun 1 09:12:08 2023 +1000 f8d4139f9a
diff --git a/projects/sel4/status.html b/projects/sel4/status.html
index 4ea9610619..9a5685816e 100644
--- a/projects/sel4/status.html
+++ b/projects/sel4/status.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -2102,7 +2102,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
diff --git a/projects/sel4/verified-configurations.html b/projects/sel4/verified-configurations.html
index e61f7b778b..c74807a673 100644
--- a/projects/sel4/verified-configurations.html
+++ b/projects/sel4/verified-configurations.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -1045,7 +1045,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Wed Dec 13 11:45:46 2023 +0100 96d1ff062d
diff --git a/projects/sel4_tools/index.html b/projects/sel4_tools/index.html
index cd8dab2912..ab3af82be8 100644
--- a/projects/sel4_tools/index.html
+++ b/projects/sel4_tools/index.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -456,7 +456,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17
diff --git a/projects/sel4bench/index.html b/projects/sel4bench/index.html
index 97d5180bbb..2a49f47650 100644
--- a/projects/sel4bench/index.html
+++ b/projects/sel4bench/index.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -546,7 +546,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17
diff --git a/projects/sel4bench/status.html b/projects/sel4bench/status.html
index d534d7bbe7..4edb07abd5 100644
--- a/projects/sel4bench/status.html
+++ b/projects/sel4bench/status.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -665,7 +665,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
diff --git a/projects/sel4runtime/index.html b/projects/sel4runtime/index.html
index d1e6b57f11..6c4c1ac7ef 100644
--- a/projects/sel4runtime/index.html
+++ b/projects/sel4runtime/index.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -564,7 +564,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17
diff --git a/projects/sel4test/index.html b/projects/sel4test/index.html
index 34344c51cd..f22c4b4a3a 100644
--- a/projects/sel4test/index.html
+++ b/projects/sel4test/index.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -582,7 +582,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Thu Nov 11 11:50:06 2021 +1100 5fc78c1c47
diff --git a/projects/sel4test/status.html b/projects/sel4test/status.html
index c1310973e9..3c0a05a4b1 100644
--- a/projects/sel4test/status.html
+++ b/projects/sel4test/status.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -643,7 +643,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
diff --git a/projects/sel4webserver/index.html b/projects/sel4webserver/index.html
index f7e7240f55..c8fdc5a40f 100644
--- a/projects/sel4webserver/index.html
+++ b/projects/sel4webserver/index.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -726,7 +726,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17
diff --git a/projects/user_libs/index.html b/projects/user_libs/index.html
index e31c129417..6faaa183dd 100644
--- a/projects/user_libs/index.html
+++ b/projects/user_libs/index.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -478,7 +478,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Mon Nov 8 11:45:32 2021 +1100 7936038ee0
diff --git a/projects/user_libs/status.html b/projects/user_libs/status.html
index 668cce1bcc..24bc2a71ce 100644
--- a/projects/user_libs/status.html
+++ b/projects/user_libs/status.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -1614,7 +1614,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
diff --git a/projects/virtualization/docs/api/libsel4vm_arm_guest_vm.html b/projects/virtualization/docs/api/libsel4vm_arm_guest_vm.html
index 3ff26d3f78..625e515644 100644
--- a/projects/virtualization/docs/api/libsel4vm_arm_guest_vm.html
+++ b/projects/virtualization/docs/api/libsel4vm_arm_guest_vm.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -499,7 +499,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vm_boot.html b/projects/virtualization/docs/api/libsel4vm_boot.html
index b50ae2f8f6..474f55d6e1 100644
--- a/projects/virtualization/docs/api/libsel4vm_boot.html
+++ b/projects/virtualization/docs/api/libsel4vm_boot.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -524,7 +524,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vm_guest_arm_context.html b/projects/virtualization/docs/api/libsel4vm_guest_arm_context.html
index a586237b3e..ce231ef3e3 100644
--- a/projects/virtualization/docs/api/libsel4vm_guest_arm_context.html
+++ b/projects/virtualization/docs/api/libsel4vm_guest_arm_context.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -594,7 +594,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vm_guest_iospace.html b/projects/virtualization/docs/api/libsel4vm_guest_iospace.html
index 36f9b238d0..0e37902cf8 100644
--- a/projects/virtualization/docs/api/libsel4vm_guest_iospace.html
+++ b/projects/virtualization/docs/api/libsel4vm_guest_iospace.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -475,7 +475,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vm_guest_irq_controller.html b/projects/virtualization/docs/api/libsel4vm_guest_irq_controller.html
index 8df99f12fc..fa12ba295d 100644
--- a/projects/virtualization/docs/api/libsel4vm_guest_irq_controller.html
+++ b/projects/virtualization/docs/api/libsel4vm_guest_irq_controller.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -545,7 +545,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vm_guest_memory.html b/projects/virtualization/docs/api/libsel4vm_guest_memory.html
index 2fcddd6d6f..81f23ed852 100644
--- a/projects/virtualization/docs/api/libsel4vm_guest_memory.html
+++ b/projects/virtualization/docs/api/libsel4vm_guest_memory.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -653,7 +653,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vm_guest_memory_helpers.html b/projects/virtualization/docs/api/libsel4vm_guest_memory_helpers.html
index f161df4473..69f85bbce1 100644
--- a/projects/virtualization/docs/api/libsel4vm_guest_memory_helpers.html
+++ b/projects/virtualization/docs/api/libsel4vm_guest_memory_helpers.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -477,7 +477,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vm_guest_ram.html b/projects/virtualization/docs/api/libsel4vm_guest_ram.html
index 569b9f3ed1..8b7f0d2fcc 100644
--- a/projects/virtualization/docs/api/libsel4vm_guest_ram.html
+++ b/projects/virtualization/docs/api/libsel4vm_guest_ram.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -670,7 +670,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vm_guest_vcpu_fault.html b/projects/virtualization/docs/api/libsel4vm_guest_vcpu_fault.html
index 58515fce5b..25d63cab80 100644
--- a/projects/virtualization/docs/api/libsel4vm_guest_vcpu_fault.html
+++ b/projects/virtualization/docs/api/libsel4vm_guest_vcpu_fault.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -670,7 +670,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vm_guest_vm.html b/projects/virtualization/docs/api/libsel4vm_guest_vm.html
index 3d6c2f8c65..eaa1321b84 100644
--- a/projects/virtualization/docs/api/libsel4vm_guest_vm.html
+++ b/projects/virtualization/docs/api/libsel4vm_guest_vm.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -694,7 +694,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vm_guest_vm_util.html b/projects/virtualization/docs/api/libsel4vm_guest_vm_util.html
index be8c472b8b..4e7df4b56e 100644
--- a/projects/virtualization/docs/api/libsel4vm_guest_vm_util.html
+++ b/projects/virtualization/docs/api/libsel4vm_guest_vm_util.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -606,7 +606,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vm_guest_x86_context.html b/projects/virtualization/docs/api/libsel4vm_guest_x86_context.html
index b4e020de13..e4508d6c07 100644
--- a/projects/virtualization/docs/api/libsel4vm_guest_x86_context.html
+++ b/projects/virtualization/docs/api/libsel4vm_guest_x86_context.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -594,7 +594,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vm_x86_guest_vm.html b/projects/virtualization/docs/api/libsel4vm_x86_guest_vm.html
index 6d3161f2ba..9152784c01 100644
--- a/projects/virtualization/docs/api/libsel4vm_x86_guest_vm.html
+++ b/projects/virtualization/docs/api/libsel4vm_x86_guest_vm.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -491,7 +491,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vm_x86_ioports.html b/projects/virtualization/docs/api/libsel4vm_x86_ioports.html
index 2295b43d18..749711f746 100644
--- a/projects/virtualization/docs/api/libsel4vm_x86_ioports.html
+++ b/projects/virtualization/docs/api/libsel4vm_x86_ioports.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -523,7 +523,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vm_x86_vmcall.html b/projects/virtualization/docs/api/libsel4vm_x86_vmcall.html
index 87e5edb5e1..0f611d0231 100644
--- a/projects/virtualization/docs/api/libsel4vm_x86_vmcall.html
+++ b/projects/virtualization/docs/api/libsel4vm_x86_vmcall.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -477,7 +477,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_ac_device.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_ac_device.html
index 93d5532bc8..0a53f663d5 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_ac_device.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_ac_device.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -488,7 +488,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_generic_forward_device.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_generic_forward_device.html
index c221de61ee..3de20ba201 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_generic_forward_device.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_generic_forward_device.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -501,7 +501,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_guest_boot_init.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_guest_boot_init.html
index 24b69ad26b..ca80146b12 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_guest_boot_init.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_guest_boot_init.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -501,7 +501,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_guest_reboot.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_guest_reboot.html
index 01eef4091c..d86cbae919 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_guest_reboot.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_guest_reboot.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -561,7 +561,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_guest_vcpu_fault.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_guest_vcpu_fault.html
index 72b2c57b6d..9da79f0ad4 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_guest_vcpu_fault.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_guest_vcpu_fault.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -498,7 +498,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_guest_vcpu_util.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_guest_vcpu_util.html
index c98e6ff61a..37414b6d02 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_guest_vcpu_util.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_guest_vcpu_util.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -474,7 +474,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_vpci.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_vpci.html
index f7c003194d..415b90d1ca 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_vpci.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_vpci.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -501,7 +501,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_vusb.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_vusb.html
index a6a3d0fc2b..5a7de4235a 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_vusb.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_vusb.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -502,7 +502,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_cross_vm_connection.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_cross_vm_connection.html
index 335f7b072e..bbb632cf82 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_cross_vm_connection.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_cross_vm_connection.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -547,7 +547,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_device.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_device.html
index 7078fde579..9c2fe98258 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_device.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_device.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -561,7 +561,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_device_utils.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_device_utils.html
index b5f59afdb5..9cfc30bae7 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_device_utils.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_device_utils.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -520,7 +520,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_guest_image.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_guest_image.html
index 5119ae2eb8..3d27d0f5c4 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_guest_image.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_guest_image.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -544,7 +544,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_guest_memory_util.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_guest_memory_util.html
index 57e3518175..0e46979cb6 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_guest_memory_util.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_guest_memory_util.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -596,7 +596,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_guest_vcpu_util.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_guest_vcpu_util.html
index 3e14af4a49..fe6fbdc3fa 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_guest_vcpu_util.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_guest_vcpu_util.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -474,7 +474,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_ioports.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_ioports.html
index 161ba907a9..2efb2d2be4 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_ioports.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_ioports.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -606,7 +606,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_pci.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_pci.html
index 1337fef69b..8b5b7278d4 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_pci.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_pci.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -602,7 +602,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_pci_helper.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_pci_helper.html
index 0d18d2b0e9..9219a2280c 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_pci_helper.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_pci_helper.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -796,7 +796,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_virtio_con.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_virtio_con.html
index 4cae3a4585..828dd722f0 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_virtio_con.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_virtio_con.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -507,7 +507,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_virtio_net.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_virtio_net.html
index 150e23374b..f816b750e7 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_virtio_net.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_virtio_net.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -529,7 +529,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_x86_acpi.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_x86_acpi.html
index 2d7ace9ae6..4c16042744 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_x86_acpi.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_x86_acpi.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -473,7 +473,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_x86_guest_boot_init.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_x86_guest_boot_init.html
index 5a9381705b..11e04cecf4 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_x86_guest_boot_init.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_x86_guest_boot_init.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -503,7 +503,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_x86_vmm_pci_helper.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_x86_vmm_pci_helper.html
index 185fe44217..3acb67ba8b 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_x86_vmm_pci_helper.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_x86_vmm_pci_helper.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -521,7 +521,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated:
diff --git a/projects/virtualization/docs/index.html b/projects/virtualization/docs/index.html
index 208bed47ad..c93edff6cf 100644
--- a/projects/virtualization/docs/index.html
+++ b/projects/virtualization/docs/index.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -491,7 +491,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17
diff --git a/projects/virtualization/index.html b/projects/virtualization/index.html
index af8a1a545a..8dd7ad1d65 100644
--- a/projects/virtualization/index.html
+++ b/projects/virtualization/index.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -433,7 +433,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Thu Mar 24 14:19:51 2022 +1100 461e5e0896
diff --git a/projects/virtualization/libsel4vm.html b/projects/virtualization/libsel4vm.html
index 31074b970b..7e1bd690c2 100644
--- a/projects/virtualization/libsel4vm.html
+++ b/projects/virtualization/libsel4vm.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -501,7 +501,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17
diff --git a/projects/virtualization/libsel4vmmplatsupport.html b/projects/virtualization/libsel4vmmplatsupport.html
index 2adb299a33..ee4c818605 100644
--- a/projects/virtualization/libsel4vmmplatsupport.html
+++ b/projects/virtualization/libsel4vmmplatsupport.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -527,7 +527,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17
diff --git a/releases/camkes.html b/releases/camkes.html
index 8d7b0a4c72..3fcec2341d 100644
--- a/releases/camkes.html
+++ b/releases/camkes.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -207,7 +207,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17
diff --git a/releases/camkes/camkes-2.0.0.html b/releases/camkes/camkes-2.0.0.html
index 5c8187127f..2fc11787f3 100644
--- a/releases/camkes/camkes-2.0.0.html
+++ b/releases/camkes/camkes-2.0.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -411,7 +411,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
diff --git a/releases/camkes/camkes-2.1.0.html b/releases/camkes/camkes-2.1.0.html
index a443ed354d..172dffad92 100644
--- a/releases/camkes/camkes-2.1.0.html
+++ b/releases/camkes/camkes-2.1.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -443,7 +443,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
diff --git a/releases/camkes/camkes-2.2.0.html b/releases/camkes/camkes-2.2.0.html
index bb0cf4689b..d7420d12ea 100644
--- a/releases/camkes/camkes-2.2.0.html
+++ b/releases/camkes/camkes-2.2.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -423,7 +423,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
diff --git a/releases/camkes/camkes-2.3.0.html b/releases/camkes/camkes-2.3.0.html
index 9bdeaa9084..6d6b8db7e2 100644
--- a/releases/camkes/camkes-2.3.0.html
+++ b/releases/camkes/camkes-2.3.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -419,7 +419,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
diff --git a/releases/camkes/camkes-2.3.1.html b/releases/camkes/camkes-2.3.1.html
index 4ee6d69cc3..56dd146949 100644
--- a/releases/camkes/camkes-2.3.1.html
+++ b/releases/camkes/camkes-2.3.1.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -411,7 +411,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
diff --git a/releases/camkes/camkes-3.0.0.html b/releases/camkes/camkes-3.0.0.html
index 63a6e79b30..86f19760f2 100644
--- a/releases/camkes/camkes-3.0.0.html
+++ b/releases/camkes/camkes-3.0.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -547,7 +547,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
diff --git a/releases/camkes/camkes-3.1.0.html b/releases/camkes/camkes-3.1.0.html
index f5de91d15c..3c26d4cf1f 100644
--- a/releases/camkes/camkes-3.1.0.html
+++ b/releases/camkes/camkes-3.1.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -450,7 +450,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
diff --git a/releases/camkes/camkes-3.10.0.html b/releases/camkes/camkes-3.10.0.html
index e91b5ffe17..1430070d81 100644
--- a/releases/camkes/camkes-3.10.0.html
+++ b/releases/camkes/camkes-3.10.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -450,7 +450,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
diff --git a/releases/camkes/camkes-3.2.0.html b/releases/camkes/camkes-3.2.0.html
index 5a25d4b89f..3eb04a0fac 100644
--- a/releases/camkes/camkes-3.2.0.html
+++ b/releases/camkes/camkes-3.2.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -493,7 +493,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
diff --git a/releases/camkes/camkes-3.3.0.html b/releases/camkes/camkes-3.3.0.html
index 6d7d9cfb1f..852febd219 100644
--- a/releases/camkes/camkes-3.3.0.html
+++ b/releases/camkes/camkes-3.3.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -441,7 +441,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
diff --git a/releases/camkes/camkes-3.4.0.html b/releases/camkes/camkes-3.4.0.html
index ceffd1ecc8..9cd582c720 100644
--- a/releases/camkes/camkes-3.4.0.html
+++ b/releases/camkes/camkes-3.4.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -424,7 +424,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
diff --git a/releases/camkes/camkes-3.5.0.html b/releases/camkes/camkes-3.5.0.html
index 4bddca98d6..06f3868bfe 100644
--- a/releases/camkes/camkes-3.5.0.html
+++ b/releases/camkes/camkes-3.5.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -434,7 +434,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
diff --git a/releases/camkes/camkes-3.6.0.html b/releases/camkes/camkes-3.6.0.html
index 64f398033e..ee38c939c4 100644
--- a/releases/camkes/camkes-3.6.0.html
+++ b/releases/camkes/camkes-3.6.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -451,7 +451,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
diff --git a/releases/camkes/camkes-3.7.0.html b/releases/camkes/camkes-3.7.0.html
index f96a4d5516..48b138f4e3 100644
--- a/releases/camkes/camkes-3.7.0.html
+++ b/releases/camkes/camkes-3.7.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -422,7 +422,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
diff --git a/releases/camkes/camkes-3.8.0.html b/releases/camkes/camkes-3.8.0.html
index 84af936187..dfcea0ea6f 100644
--- a/releases/camkes/camkes-3.8.0.html
+++ b/releases/camkes/camkes-3.8.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -473,7 +473,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
diff --git a/releases/camkes/camkes-3.9.0.html b/releases/camkes/camkes-3.9.0.html
index b28ec11d02..7b4fd3d12a 100644
--- a/releases/camkes/camkes-3.9.0.html
+++ b/releases/camkes/camkes-3.9.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -555,7 +555,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
diff --git a/releases/capdl/0.1.0.html b/releases/capdl/0.1.0.html
index 18bfad5ce7..274be6ad07 100644
--- a/releases/capdl/0.1.0.html
+++ b/releases/capdl/0.1.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -360,7 +360,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
diff --git a/releases/capdl/0.2.0.html b/releases/capdl/0.2.0.html
index fffea7edc6..82e6224442 100644
--- a/releases/capdl/0.2.0.html
+++ b/releases/capdl/0.2.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -334,7 +334,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
diff --git a/releases/capdl/0.2.1.html b/releases/capdl/0.2.1.html
index 71be29b4e9..eea2da3feb 100644
--- a/releases/capdl/0.2.1.html
+++ b/releases/capdl/0.2.1.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -287,7 +287,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
diff --git a/releases/sel4.html b/releases/sel4.html
index 9c327c9759..53e9f0d3b5 100644
--- a/releases/sel4.html
+++ b/releases/sel4.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -486,7 +486,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Tue Jan 19 10:29:50 2021 +1100 90e3da7d86
diff --git a/releases/sel4/0.0.1-rt-dev.html b/releases/sel4/0.0.1-rt-dev.html
index 12ceb6ce7e..05ad58929a 100644
--- a/releases/sel4/0.0.1-rt-dev.html
+++ b/releases/sel4/0.0.1-rt-dev.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -700,7 +700,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
diff --git a/releases/sel4/1.0.0-rt-dev.html b/releases/sel4/1.0.0-rt-dev.html
index 41af2d2b42..283723e00c 100644
--- a/releases/sel4/1.0.0-rt-dev.html
+++ b/releases/sel4/1.0.0-rt-dev.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -768,7 +768,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
diff --git a/releases/sel4/10.0.0.html b/releases/sel4/10.0.0.html
index baf5a548c3..6ab2e997d9 100644
--- a/releases/sel4/10.0.0.html
+++ b/releases/sel4/10.0.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -632,7 +632,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
diff --git a/releases/sel4/10.1.0.html b/releases/sel4/10.1.0.html
index f97df4c14a..50b89044e3 100644
--- a/releases/sel4/10.1.0.html
+++ b/releases/sel4/10.1.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -636,7 +636,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
diff --git a/releases/sel4/10.1.1-mcs.html b/releases/sel4/10.1.1-mcs.html
index 42981c4a1b..dc322db5ae 100644
--- a/releases/sel4/10.1.1-mcs.html
+++ b/releases/sel4/10.1.1-mcs.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -826,7 +826,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
diff --git a/releases/sel4/10.1.1.html b/releases/sel4/10.1.1.html
index 0b6ddde02a..4da027ca81 100644
--- a/releases/sel4/10.1.1.html
+++ b/releases/sel4/10.1.1.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -617,7 +617,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
diff --git a/releases/sel4/11.0.0.html b/releases/sel4/11.0.0.html
index a47ed7d6e1..d6152e5181 100644
--- a/releases/sel4/11.0.0.html
+++ b/releases/sel4/11.0.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -728,7 +728,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
diff --git a/releases/sel4/12.0.0.html b/releases/sel4/12.0.0.html
index c2a6a78c58..12bc3c7052 100644
--- a/releases/sel4/12.0.0.html
+++ b/releases/sel4/12.0.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -880,7 +880,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
diff --git a/releases/sel4/12.1.0.html b/releases/sel4/12.1.0.html
index 9c3432afff..00108e4a1f 100644
--- a/releases/sel4/12.1.0.html
+++ b/releases/sel4/12.1.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -756,7 +756,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
diff --git a/releases/sel4/2.0.0.html b/releases/sel4/2.0.0.html
index 26d86247b3..3d428ff8ef 100644
--- a/releases/sel4/2.0.0.html
+++ b/releases/sel4/2.0.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -751,7 +751,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
diff --git a/releases/sel4/2.1.0.html b/releases/sel4/2.1.0.html
index 9ca8c29988..85918fe737 100644
--- a/releases/sel4/2.1.0.html
+++ b/releases/sel4/2.1.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -630,7 +630,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
diff --git a/releases/sel4/3.0.0.html b/releases/sel4/3.0.0.html
index 254703bdff..0a87cb4f15 100644
--- a/releases/sel4/3.0.0.html
+++ b/releases/sel4/3.0.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -714,7 +714,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
diff --git a/releases/sel4/3.0.1.html b/releases/sel4/3.0.1.html
index e5b1b763a9..586508cacb 100644
--- a/releases/sel4/3.0.1.html
+++ b/releases/sel4/3.0.1.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -617,7 +617,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
diff --git a/releases/sel4/3.1.0.html b/releases/sel4/3.1.0.html
index c867515a15..e2d47edd35 100644
--- a/releases/sel4/3.1.0.html
+++ b/releases/sel4/3.1.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -637,7 +637,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
diff --git a/releases/sel4/3.2.0.html b/releases/sel4/3.2.0.html
index 91cd94ab0e..a2abb92d9e 100644
--- a/releases/sel4/3.2.0.html
+++ b/releases/sel4/3.2.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -640,7 +640,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
diff --git a/releases/sel4/4.0.0.html b/releases/sel4/4.0.0.html
index 8fd708f7a5..4ad2329c89 100644
--- a/releases/sel4/4.0.0.html
+++ b/releases/sel4/4.0.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -689,7 +689,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
diff --git a/releases/sel4/5.0.0.html b/releases/sel4/5.0.0.html
index 0426878ca1..3f0cfabac0 100644
--- a/releases/sel4/5.0.0.html
+++ b/releases/sel4/5.0.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -650,7 +650,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
diff --git a/releases/sel4/5.1.0.html b/releases/sel4/5.1.0.html
index 6999052533..03541dd585 100644
--- a/releases/sel4/5.1.0.html
+++ b/releases/sel4/5.1.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -630,7 +630,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
diff --git a/releases/sel4/5.2.0-mcs.html b/releases/sel4/5.2.0-mcs.html
index 47d5c692fb..497e19ba86 100644
--- a/releases/sel4/5.2.0-mcs.html
+++ b/releases/sel4/5.2.0-mcs.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -830,7 +830,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
diff --git a/releases/sel4/5.2.0.html b/releases/sel4/5.2.0.html
index aa00a5218d..78f3894ae3 100644
--- a/releases/sel4/5.2.0.html
+++ b/releases/sel4/5.2.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -631,7 +631,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
diff --git a/releases/sel4/6.0.0.html b/releases/sel4/6.0.0.html
index 30006dcb85..3082087a20 100644
--- a/releases/sel4/6.0.0.html
+++ b/releases/sel4/6.0.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -672,7 +672,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
diff --git a/releases/sel4/7.0.0.html b/releases/sel4/7.0.0.html
index 7cf54b03d8..048047c781 100644
--- a/releases/sel4/7.0.0.html
+++ b/releases/sel4/7.0.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -662,7 +662,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
diff --git a/releases/sel4/8.0.0.html b/releases/sel4/8.0.0.html
index d88896d4ff..bab42048d6 100644
--- a/releases/sel4/8.0.0.html
+++ b/releases/sel4/8.0.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -640,7 +640,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
diff --git a/releases/sel4/9.0.0-mcs.html b/releases/sel4/9.0.0-mcs.html
index 3df6f61d51..196a5e2e30 100644
--- a/releases/sel4/9.0.0-mcs.html
+++ b/releases/sel4/9.0.0-mcs.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -850,7 +850,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
diff --git a/releases/sel4/9.0.0.html b/releases/sel4/9.0.0.html
index 935bfae094..1b6ad4ed96 100644
--- a/releases/sel4/9.0.0.html
+++ b/releases/sel4/9.0.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -652,7 +652,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
diff --git a/releases/sel4/9.0.1.html b/releases/sel4/9.0.1.html
index b9637e7655..114d5ab7dd 100644
--- a/releases/sel4/9.0.1.html
+++ b/releases/sel4/9.0.1.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -626,7 +626,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
diff --git a/sitemap.html b/sitemap.html
index 9b3b84bae6..a1c1c9cf7d 100644
--- a/sitemap.html
+++ b/sitemap.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -930,7 +930,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17
diff --git a/sitemap.xml b/sitemap.xml
index 4e0f5f621b..2206b97d8e 100644
--- a/sitemap.xml
+++ b/sitemap.xml
@@ -2,243 +2,243 @@
https://docs.sel4.systems/releases/camkes/camkes-2.0.0.html
-2023-12-18T11:23:58+00:00
+2023-12-18T14:24:36+00:00
https://docs.sel4.systems/releases/camkes/camkes-2.1.0.html
-2023-12-18T11:23:58+00:00
+2023-12-18T14:24:36+00:00
https://docs.sel4.systems/releases/camkes/camkes-2.2.0.html
-2023-12-18T11:23:58+00:00
+2023-12-18T14:24:36+00:00
https://docs.sel4.systems/releases/camkes/camkes-2.3.0.html
-2023-12-18T11:23:58+00:00
+2023-12-18T14:24:36+00:00
https://docs.sel4.systems/releases/camkes/camkes-2.3.1.html
-2023-12-18T11:23:58+00:00
+2023-12-18T14:24:36+00:00
https://docs.sel4.systems/releases/camkes/camkes-3.0.0.html
-2023-12-18T11:23:58+00:00
+2023-12-18T14:24:36+00:00
https://docs.sel4.systems/releases/camkes/camkes-3.1.0.html
-2023-12-18T11:23:58+00:00
+2023-12-18T14:24:36+00:00
https://docs.sel4.systems/releases/camkes/camkes-3.10.0.html
-2023-12-18T11:23:58+00:00
+2023-12-18T14:24:36+00:00
https://docs.sel4.systems/releases/camkes/camkes-3.2.0.html
-2023-12-18T11:23:58+00:00
+2023-12-18T14:24:36+00:00
https://docs.sel4.systems/releases/camkes/camkes-3.3.0.html
-2023-12-18T11:23:58+00:00
+2023-12-18T14:24:36+00:00
https://docs.sel4.systems/releases/camkes/camkes-3.4.0.html
-2023-12-18T11:23:58+00:00
+2023-12-18T14:24:36+00:00
https://docs.sel4.systems/releases/camkes/camkes-3.5.0.html
-2023-12-18T11:23:58+00:00
+2023-12-18T14:24:36+00:00
https://docs.sel4.systems/releases/camkes/camkes-3.6.0.html
-2023-12-18T11:23:58+00:00
+2023-12-18T14:24:36+00:00
https://docs.sel4.systems/releases/camkes/camkes-3.7.0.html
-2023-12-18T11:23:58+00:00
+2023-12-18T14:24:36+00:00
https://docs.sel4.systems/releases/camkes/camkes-3.8.0.html
-2023-12-18T11:23:58+00:00
+2023-12-18T14:24:36+00:00
https://docs.sel4.systems/releases/camkes/camkes-3.9.0.html
-2023-12-18T11:23:58+00:00
+2023-12-18T14:24:36+00:00
https://docs.sel4.systems/releases/capdl/0.1.0.html
-2023-12-18T11:23:58+00:00
+2023-12-18T14:24:36+00:00
https://docs.sel4.systems/releases/capdl/0.2.0.html
-2023-12-18T11:23:58+00:00
+2023-12-18T14:24:36+00:00
https://docs.sel4.systems/releases/capdl/0.2.1.html
-2023-12-18T11:23:58+00:00
+2023-12-18T14:24:36+00:00
https://docs.sel4.systems/releases/sel4/0.0.1-rt-dev.html
-2023-12-18T11:23:58+00:00
+2023-12-18T14:24:36+00:00
https://docs.sel4.systems/releases/sel4/1.0.0-rt-dev.html
-2023-12-18T11:23:58+00:00
+2023-12-18T14:24:36+00:00
https://docs.sel4.systems/releases/sel4/10.0.0.html
-2023-12-18T11:23:58+00:00
+2023-12-18T14:24:36+00:00
https://docs.sel4.systems/releases/sel4/10.1.0.html
-2023-12-18T11:23:58+00:00
+2023-12-18T14:24:36+00:00
https://docs.sel4.systems/releases/sel4/10.1.1-mcs.html
-2023-12-18T11:23:58+00:00
+2023-12-18T14:24:36+00:00
https://docs.sel4.systems/releases/sel4/10.1.1.html
-2023-12-18T11:23:58+00:00
+2023-12-18T14:24:36+00:00
https://docs.sel4.systems/releases/sel4/11.0.0.html
-2023-12-18T11:23:58+00:00
+2023-12-18T14:24:36+00:00
https://docs.sel4.systems/releases/sel4/12.0.0.html
-2023-12-18T11:23:58+00:00
+2023-12-18T14:24:36+00:00
https://docs.sel4.systems/releases/sel4/12.1.0.html
-2023-12-18T11:23:58+00:00
+2023-12-18T14:24:36+00:00
https://docs.sel4.systems/releases/sel4/2.0.0.html
-2023-12-18T11:23:58+00:00
+2023-12-18T14:24:36+00:00
https://docs.sel4.systems/releases/sel4/2.1.0.html
-2023-12-18T11:23:58+00:00
+2023-12-18T14:24:36+00:00
https://docs.sel4.systems/releases/sel4/3.0.0.html
-2023-12-18T11:23:58+00:00
+2023-12-18T14:24:36+00:00
https://docs.sel4.systems/releases/sel4/3.0.1.html
-2023-12-18T11:23:58+00:00
+2023-12-18T14:24:36+00:00
https://docs.sel4.systems/releases/sel4/3.1.0.html
-2023-12-18T11:23:58+00:00
+2023-12-18T14:24:36+00:00
https://docs.sel4.systems/releases/sel4/3.2.0.html
-2023-12-18T11:23:58+00:00
+2023-12-18T14:24:36+00:00
https://docs.sel4.systems/releases/sel4/4.0.0.html
-2023-12-18T11:23:58+00:00
+2023-12-18T14:24:36+00:00
https://docs.sel4.systems/releases/sel4/5.0.0.html
-2023-12-18T11:23:58+00:00
+2023-12-18T14:24:36+00:00
https://docs.sel4.systems/releases/sel4/5.1.0.html
-2023-12-18T11:23:58+00:00
+2023-12-18T14:24:36+00:00
https://docs.sel4.systems/releases/sel4/5.2.0-mcs.html
-2023-12-18T11:23:58+00:00
+2023-12-18T14:24:36+00:00
https://docs.sel4.systems/releases/sel4/5.2.0.html
-2023-12-18T11:23:58+00:00
+2023-12-18T14:24:36+00:00
https://docs.sel4.systems/releases/sel4/6.0.0.html
-2023-12-18T11:23:58+00:00
+2023-12-18T14:24:36+00:00
https://docs.sel4.systems/releases/sel4/7.0.0.html
-2023-12-18T11:23:58+00:00
+2023-12-18T14:24:36+00:00
https://docs.sel4.systems/releases/sel4/8.0.0.html
-2023-12-18T11:23:58+00:00
+2023-12-18T14:24:36+00:00
https://docs.sel4.systems/releases/sel4/9.0.0-mcs.html
-2023-12-18T11:23:58+00:00
+2023-12-18T14:24:36+00:00
https://docs.sel4.systems/releases/sel4/9.0.0.html
-2023-12-18T11:23:58+00:00
+2023-12-18T14:24:36+00:00
https://docs.sel4.systems/releases/sel4/9.0.1.html
-2023-12-18T11:23:58+00:00
+2023-12-18T14:24:36+00:00
https://docs.sel4.systems/projects/camkes/status.html
-2023-12-18T11:23:58+00:00
+2023-12-18T14:24:36+00:00
https://docs.sel4.systems/projects/sel4/status.html
-2023-12-18T11:23:58+00:00
+2023-12-18T14:24:36+00:00
https://docs.sel4.systems/projects/sel4bench/status.html
-2023-12-18T11:23:58+00:00
+2023-12-18T14:24:36+00:00
https://docs.sel4.systems/projects/sel4test/status.html
-2023-12-18T11:23:58+00:00
+2023-12-18T14:24:36+00:00
https://docs.sel4.systems/projects/user_libs/status.html
-2023-12-18T11:23:58+00:00
+2023-12-18T14:24:36+00:00
https://docs.sel4.systems/updates/buildsystem/11.0.x.html
-2023-12-18T11:23:58+00:00
+2023-12-18T14:24:36+00:00
https://docs.sel4.systems/updates/camkes-vm/camkes-3.8.x-arm-old.html
-2023-12-18T11:23:58+00:00
+2023-12-18T14:24:36+00:00
https://docs.sel4.systems/updates/camkes-vm/camkes-3.8.x.html
-2023-12-18T11:23:58+00:00
+2023-12-18T14:24:36+00:00
https://docs.sel4.systems/updates/elfloader/11.0.x.html
-2023-12-18T11:23:58+00:00
+2023-12-18T14:24:36+00:00
https://docs.sel4.systems/updates/sel4-tutorials/camkes-3.8.x.html
-2023-12-18T11:23:58+00:00
+2023-12-18T14:24:36+00:00
https://docs.sel4.systems/updates/sel4bench/11.0.x.html
-2023-12-18T11:23:58+00:00
+2023-12-18T14:24:36+00:00
https://docs.sel4.systems/updates/sel4runtime/11.0.x.html
-2023-12-18T11:23:58+00:00
+2023-12-18T14:24:36+00:00
https://docs.sel4.systems/updates/sel4test/11.0.x.html
-2023-12-18T11:23:58+00:00
+2023-12-18T14:24:36+00:00
https://docs.sel4.systems/updates/sel4webserver/camkes-3.8.x.html
-2023-12-18T11:23:58+00:00
+2023-12-18T14:24:36+00:00
https://docs.sel4.systems/updates/user_libs/11.0.x.html
-2023-12-18T11:23:58+00:00
+2023-12-18T14:24:36+00:00
https://docs.sel4.systems/projects/driver_framework/AddressingOtherDevices.html
@@ -815,10 +815,10 @@
https://docs.sel4.systems/Hardware/CEI_TK1_SOM/CANBoard/canboard_v3.pdf
-2023-12-18T11:21:56+00:00
+2023-12-18T14:22:59+00:00
https://docs.sel4.systems/Hardware/CEI_TK1_SOM/DaughterBoard/daughterboard_r3a_schematic.pdf
-2023-12-18T11:21:56+00:00
+2023-12-18T14:22:59+00:00
diff --git a/updates/buildsystem.html b/updates/buildsystem.html
index 49382a5579..a32eb00156 100644
--- a/updates/buildsystem.html
+++ b/updates/buildsystem.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -253,7 +253,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17
diff --git a/updates/buildsystem/11.0.x.html b/updates/buildsystem/11.0.x.html
index b55cfa4bc8..eabc71f3e9 100644
--- a/updates/buildsystem/11.0.x.html
+++ b/updates/buildsystem/11.0.x.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -360,7 +360,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
diff --git a/updates/camkes-vm.html b/updates/camkes-vm.html
index 6e51a57bf6..ae40e1a361 100644
--- a/updates/camkes-vm.html
+++ b/updates/camkes-vm.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -269,7 +269,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17
diff --git a/updates/camkes-vm/camkes-3.8.x-arm-old.html b/updates/camkes-vm/camkes-3.8.x-arm-old.html
index 8fbd59cb0c..4669573a0a 100644
--- a/updates/camkes-vm/camkes-3.8.x-arm-old.html
+++ b/updates/camkes-vm/camkes-3.8.x-arm-old.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -383,7 +383,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
diff --git a/updates/camkes-vm/camkes-3.8.x.html b/updates/camkes-vm/camkes-3.8.x.html
index 58711166fe..aa35fb0cb2 100644
--- a/updates/camkes-vm/camkes-3.8.x.html
+++ b/updates/camkes-vm/camkes-3.8.x.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -313,7 +313,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
diff --git a/updates/elfloader.html b/updates/elfloader.html
index 1f110ca905..96c4674627 100644
--- a/updates/elfloader.html
+++ b/updates/elfloader.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -246,7 +246,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17
diff --git a/updates/elfloader/11.0.x.html b/updates/elfloader/11.0.x.html
index e98d27eefe..9286cb3e18 100644
--- a/updates/elfloader/11.0.x.html
+++ b/updates/elfloader/11.0.x.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -349,7 +349,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
diff --git a/updates/sel4-tutorials.html b/updates/sel4-tutorials.html
index 2dd29a87f2..8905286a59 100644
--- a/updates/sel4-tutorials.html
+++ b/updates/sel4-tutorials.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -253,7 +253,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17
diff --git a/updates/sel4-tutorials/camkes-3.8.x.html b/updates/sel4-tutorials/camkes-3.8.x.html
index c7fb6e9c93..da0da6843f 100644
--- a/updates/sel4-tutorials/camkes-3.8.x.html
+++ b/updates/sel4-tutorials/camkes-3.8.x.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -303,7 +303,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
diff --git a/updates/sel4bench.html b/updates/sel4bench.html
index 35d8336330..d89a09b2f9 100644
--- a/updates/sel4bench.html
+++ b/updates/sel4bench.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -260,7 +260,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17
diff --git a/updates/sel4bench/11.0.x.html b/updates/sel4bench/11.0.x.html
index 52345c1387..170254eefe 100644
--- a/updates/sel4bench/11.0.x.html
+++ b/updates/sel4bench/11.0.x.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -316,7 +316,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
diff --git a/updates/sel4runtime.html b/updates/sel4runtime.html
index 19885f73af..4acc437c72 100644
--- a/updates/sel4runtime.html
+++ b/updates/sel4runtime.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -246,7 +246,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17
diff --git a/updates/sel4runtime/11.0.x.html b/updates/sel4runtime/11.0.x.html
index 64dfa6a37b..0278fe0bc5 100644
--- a/updates/sel4runtime/11.0.x.html
+++ b/updates/sel4runtime/11.0.x.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -296,7 +296,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
diff --git a/updates/sel4test.html b/updates/sel4test.html
index 9879697f00..a8d42e6a1b 100644
--- a/updates/sel4test.html
+++ b/updates/sel4test.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -260,7 +260,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17
diff --git a/updates/sel4test/11.0.x.html b/updates/sel4test/11.0.x.html
index 806941fbab..e386a263b5 100644
--- a/updates/sel4test/11.0.x.html
+++ b/updates/sel4test/11.0.x.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -351,7 +351,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
diff --git a/updates/sel4webserver.html b/updates/sel4webserver.html
index 51b4cc6833..d647552447 100644
--- a/updates/sel4webserver.html
+++ b/updates/sel4webserver.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -253,7 +253,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17
diff --git a/updates/sel4webserver/camkes-3.8.x.html b/updates/sel4webserver/camkes-3.8.x.html
index 90463a7074..35255f3b9b 100644
--- a/updates/sel4webserver/camkes-3.8.x.html
+++ b/updates/sel4webserver/camkes-3.8.x.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -276,7 +276,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
diff --git a/updates/user_libs.html b/updates/user_libs.html
index a9dd481512..0a146b5926 100644
--- a/updates/user_libs.html
+++ b/updates/user_libs.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -274,7 +274,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-
Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17
diff --git a/updates/user_libs/11.0.x.html b/updates/user_libs/11.0.x.html
index 34b0b598de..0b32117b4d 100644
--- a/updates/user_libs/11.0.x.html
+++ b/updates/user_libs/11.0.x.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -633,7 +633,7 @@
-
- Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+ Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
-