, 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 fe881fc48b..fb8868dad1 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.
-->
-
+
@@ -191,7 +191,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
Page last updated: Mon Jan 29 09:18:28 2024 +0100 258381c245
diff --git a/processes/code-review.html b/processes/code-review.html
index e80725c7ee..62b0069b20 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.
-->
-
+
@@ -450,7 +450,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
Page last updated: Wed Jul 28 11:02:39 2021 +1000 4e9d4ab1f5
diff --git a/processes/conduct.html b/processes/conduct.html
index 0633a20093..fef8bdb82c 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.
-->
-
+
@@ -301,7 +301,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
Page last updated: Wed Mar 23 12:19:26 2022 +1100 f160c38c73
diff --git a/processes/contributing.html b/processes/contributing.html
index 7b625d27aa..a14868feb3 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.
-->
-
+
@@ -321,7 +321,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 4b0f0717bc..a427326972 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.
-->
-
+
@@ -265,7 +265,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
Page last updated: Wed Mar 23 12:37:08 2022 +1100 3bcc34568c
diff --git a/processes/emails.html b/processes/emails.html
index 7abb0ebf4f..68ce9b364d 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.
-->
-
+
@@ -269,7 +269,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 40d6d32742..10cee4ea03 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.
-->
-
+
@@ -313,7 +313,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
Page last updated: Sat Jan 8 09:23:51 2022 +1100 12bd2f5a6d
diff --git a/processes/index.html b/processes/index.html
index 5d368c370e..8bc7ac6cbf 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.
-->
-
+
@@ -409,7 +409,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 3da1467a36..6514f405d6 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.
-->
-
+
@@ -172,7 +172,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17
diff --git a/processes/licenses.html b/processes/licenses.html
index feff8b7a3a..5bd917da0c 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.
-->
-
+
@@ -278,7 +278,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 a54c205823..79f7708bde 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.
-->
-
+
@@ -560,7 +560,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 6b3f2554af..cc3aa172c7 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.
-->
-
+
@@ -556,7 +556,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
Page last updated: Mon Oct 23 20:37:42 2023 +1100 f1fe82bf8d
diff --git a/processes/roles.html b/processes/roles.html
index 4a2f2175bf..4265e36cce 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.
-->
-
+
@@ -262,7 +262,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 1737bd150f..c64561cb4c 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.
-->
-
+
@@ -563,7 +563,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
Page last updated: Sun Apr 28 12:05:07 2024 +1000 a15224327a
diff --git a/processes/test-status.html b/processes/test-status.html
index aee4c48b65..f46ea7ef38 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.
-->
-
+
@@ -564,7 +564,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
Page last updated: Thu Feb 29 10:41:42 2024 +0100 f8b92b6673
diff --git a/processes/websites.html b/processes/websites.html
index c6fed15c38..0efea3ec7d 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.
-->
-
+
@@ -262,7 +262,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 6750272622..b7d05887ce 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.
-->
-
+
@@ -1437,7 +1437,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 1c3f4a67d3..5a628d6ac5 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.
-->
-
+
@@ -794,7 +794,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 3b4c58fcef..2a25421548 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.
-->
-
+
@@ -663,7 +663,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 3c8558c7e5..cad1c313c9 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.
-->
-
+
@@ -483,7 +483,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 c730d5b55f..9c384de5af 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.
-->
-
+
@@ -951,7 +951,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 82ef4f5f3c..c7f3b4eb6d 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.
-->
-
+
@@ -673,7 +673,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 f868b79f37..9ddd668b85 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.
-->
-
+
@@ -517,7 +517,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 fc23a6b0ed..86a2b87f72 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.
-->
-
+
@@ -663,7 +663,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 ef71438c35..2d55af57cd 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.
-->
-
+
@@ -501,7 +501,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 441c9a0444..1c91930f9f 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.
-->
-
+
@@ -1139,7 +1139,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 c643c42408..75202d201a 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.
-->
-
+
@@ -702,7 +702,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 b9a193245a..15707ad819 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.
-->
-
+
@@ -603,7 +603,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 886fea90b5..cb3b915478 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.
-->
-
+
@@ -807,7 +807,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 bc8d970cc7..df3ee23912 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.
-->
-
+
@@ -652,7 +652,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 6697e495d3..978139e20b 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.
-->
-
+
@@ -815,7 +815,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 0938134be7..2a4dfa8f04 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.
-->
-
+
@@ -4254,7 +4254,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 883ae599b4..2f4c5e4103 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.
-->
-
+
@@ -661,7 +661,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 058931f91c..978ae60ccf 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.
-->
-
+
@@ -599,7 +599,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 4203298a24..c084071e22 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.
-->
-
+
@@ -1542,7 +1542,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
diff --git a/projects/camkes/terminology.html b/projects/camkes/terminology.html
index d2d71a9c07..82cc57b58b 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.
-->
-
+
@@ -838,7 +838,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 f7765fb895..217aba989a 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.
-->
-
+
@@ -862,7 +862,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 8c8ba42b8a..64ff7df73a 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.
-->
-
+
@@ -472,7 +472,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 61363a2913..fc908b0137 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.
-->
-
+
@@ -458,7 +458,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 d00a5d681e..45a322b446 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.
-->
-
+
@@ -529,7 +529,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 83240d4b99..0efdfdf437 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.
-->
-
+
@@ -450,7 +450,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 0ea26f14e1..b8400fc23c 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.
-->
-
+
@@ -453,7 +453,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 ffe23f69bb..5fc324bf5c 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.
-->
-
+
@@ -499,7 +499,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 7ef3ecc8fd..0881072a76 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.
-->
-
+
@@ -501,7 +501,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
Page last updated: Thu Jan 4 17:23:26 2024 +1300 21a38d84cc
diff --git a/projects/docsite/index.html b/projects/docsite/index.html
index dd64023218..b96e414fca 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.
-->
-
+
@@ -495,7 +495,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 b9d381cf6f..0ce8fa85ea 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.
-->
-
+
@@ -442,7 +442,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 7e1f8dd137..2cf419bef7 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.
-->
-
+
@@ -614,7 +614,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 945f70f929..174f1c4841 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.
-->
-
+
@@ -541,7 +541,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 3a7077cc05..451aa22586 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.
-->
-
+
@@ -583,7 +583,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 c0c1bb5981..da8b99add0 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.
-->
-
+
@@ -423,7 +423,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 2583d62feb..0b2b62f3dd 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.
-->
-
+
@@ -416,7 +416,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17
diff --git a/projects/index.html b/projects/index.html
index a2747ebbb6..d6218321af 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.
-->
-
+
@@ -1013,7 +1013,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
diff --git a/projects/l4v/index.html b/projects/l4v/index.html
index 084b82c93e..2b18d293ee 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.
-->
-
+
@@ -436,7 +436,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 aa6395b55f..7710e41aad 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.
-->
-
+
@@ -458,7 +458,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
Page last updated: Mon Oct 23 14:16:33 2023 +1100 827111ddcf
diff --git a/projects/roadmap.html b/projects/roadmap.html
index c278b64f2d..0c42498110 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.
-->
-
+
@@ -381,7 +381,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 2e8023d6e6..ef54798e35 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.
-->
-
+
@@ -522,7 +522,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 aa19a0f1be..2015079d5f 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.
-->
-
+
@@ -792,7 +792,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 804c8b1ae0..7a401f5404 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.
-->
-
+
@@ -696,7 +696,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 83c5f6f5c7..5cd1087ccc 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.
-->
-
+
@@ -489,7 +489,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 09f9fce55d..509389393f 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.
-->
-
+
@@ -9572,7 +9572,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 e487b7b659..b91e3a668a 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.
-->
-
+
@@ -716,7 +716,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 d8d1fcfae2..62106064f7 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.
-->
-
+
@@ -1390,7 +1390,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 eccb1a9042..2f6aa66fc9 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.
-->
-
+
@@ -856,7 +856,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 3dff3392b7..eeba68944e 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.
-->
-
+
@@ -974,7 +974,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
Page last updated: Tue Mar 26 11:20:38 2024 +0100 716f56bda5
diff --git a/projects/sel4/manual-api-generation.html b/projects/sel4/manual-api-generation.html
index aa6b9417ad..64ba3bad34 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.
-->
-
+
@@ -994,7 +994,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
Page last updated: Wed Mar 23 08:57:48 2022 +1100 ddb17ed2be
diff --git a/projects/sel4/platf-owner.html b/projects/sel4/platf-owner.html
index 447ba03723..2b4fa46588 100644
--- a/projects/sel4/platf-owner.html
+++ b/projects/sel4/platf-owner.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -808,7 +808,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
Page last updated: Fri Mar 15 15:07:51 2024 +0100 983ea6eebc
diff --git a/projects/sel4/porting.html b/projects/sel4/porting.html
index 0a26a790b0..9d8ae068dd 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.
-->
-
+
@@ -960,7 +960,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
Page last updated: Tue Mar 26 09:35:10 2024 +0100 58fc2e87fc
diff --git a/projects/sel4/status.html b/projects/sel4/status.html
index 9c42a7d1dd..a9661fded8 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.
-->
-
+
@@ -2090,7 +2090,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
diff --git a/projects/sel4/verified-configurations.html b/projects/sel4/verified-configurations.html
index 20aca8a304..f2c570f400 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.
-->
-
+
@@ -1033,7 +1033,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
Page last updated: Fri Mar 29 17:22:39 2024 -0400 e06f0ae5ad
diff --git a/projects/sel4_tools/index.html b/projects/sel4_tools/index.html
index aa4b4824c5..add3a468b3 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.
-->
-
+
@@ -444,7 +444,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 89ccfd9d35..44d3a1ea5a 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.
-->
-
+
@@ -534,7 +534,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 103c615bf2..9d9b7f88e8 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.
-->
-
+
@@ -653,7 +653,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
diff --git a/projects/sel4runtime/index.html b/projects/sel4runtime/index.html
index 0463afaa60..c0070237fe 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.
-->
-
+
@@ -552,7 +552,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 134b569db6..b0e2a5fca2 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.
-->
-
+
@@ -570,7 +570,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 ca86fd37de..8e8f7cbd65 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.
-->
-
+
@@ -631,7 +631,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
diff --git a/projects/sel4webserver/index.html b/projects/sel4webserver/index.html
index 9d99427885..e852908de0 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.
-->
-
+
@@ -714,7 +714,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 cb1df08caf..d6550994ed 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.
-->
-
+
@@ -466,7 +466,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 2694249f6e..432f57399a 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.
-->
-
+
@@ -1602,7 +1602,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
diff --git a/projects/virtualization/docs/api/libsel4vm_arm_guest_vm.html b/projects/virtualization/docs/api/libsel4vm_arm_guest_vm.html
index bfad2a762e..bd49b73563 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.
-->
-
+
@@ -487,7 +487,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vm_boot.html b/projects/virtualization/docs/api/libsel4vm_boot.html
index b06bde4e03..7d4723021c 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.
-->
-
+
@@ -512,7 +512,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 4581cb563a..dc29308d0f 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.
-->
-
+
@@ -582,7 +582,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vm_guest_iospace.html b/projects/virtualization/docs/api/libsel4vm_guest_iospace.html
index 0efa94ad0d..e4686fbe14 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.
-->
-
+
@@ -463,7 +463,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 8749a85320..fbdf9ea717 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.
-->
-
+
@@ -533,7 +533,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vm_guest_memory.html b/projects/virtualization/docs/api/libsel4vm_guest_memory.html
index 3f603e3638..7210fbfa56 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.
-->
-
+
@@ -641,7 +641,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 5848036ab7..3253ae2722 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.
-->
-
+
@@ -465,7 +465,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vm_guest_ram.html b/projects/virtualization/docs/api/libsel4vm_guest_ram.html
index 1a4ca385b5..4c7b472798 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.
-->
-
+
@@ -658,7 +658,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 a2a1a45eed..9301dbff37 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.
-->
-
+
@@ -658,7 +658,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vm_guest_vm.html b/projects/virtualization/docs/api/libsel4vm_guest_vm.html
index 7f74620e0b..98dbca9823 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.
-->
-
+
@@ -682,7 +682,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 4b4183ee77..1fc2b19e2b 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.
-->
-
+
@@ -594,7 +594,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 c28bda999d..e0bb56be37 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.
-->
-
+
@@ -582,7 +582,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 ebeecbb8a9..9b488d4648 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.
-->
-
+
@@ -479,7 +479,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vm_x86_ioports.html b/projects/virtualization/docs/api/libsel4vm_x86_ioports.html
index 6d66064d63..2799fde997 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.
-->
-
+
@@ -511,7 +511,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vm_x86_vmcall.html b/projects/virtualization/docs/api/libsel4vm_x86_vmcall.html
index 35235b9eb4..ed4ce2f9fe 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.
-->
-
+
@@ -465,7 +465,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 7b4ce2ae13..a0da011423 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.
-->
-
+
@@ -476,7 +476,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 707aa1ff08..f446680225 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.
-->
-
+
@@ -489,7 +489,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 a4615ac735..dda3dee9b6 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.
-->
-
+
@@ -489,7 +489,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 0ad8f9c3fc..d08fd73a2d 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.
-->
-
+
@@ -549,7 +549,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 ae70471ed8..89928198d1 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.
-->
-
+
@@ -486,7 +486,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 10a4a7f826..b8b85d7981 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.
-->
-
+
@@ -462,7 +462,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_vpci.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_vpci.html
index cf6f52903d..d24f80162f 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.
-->
-
+
@@ -489,7 +489,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_vusb.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_vusb.html
index e969abc6e5..0c38842566 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.
-->
-
+
@@ -490,7 +490,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 1ad975055b..bcb20fe886 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.
-->
-
+
@@ -535,7 +535,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_device.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_device.html
index 6297dbc9cc..5ee846b151 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.
-->
-
+
@@ -549,7 +549,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_device_utils.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_device_utils.html
index f8d80519bb..6b0f9d9f93 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.
-->
-
+
@@ -508,7 +508,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_guest_image.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_guest_image.html
index b840cf7043..788326e9d6 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.
-->
-
+
@@ -532,7 +532,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 b6475b9924..88568b7e3e 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.
-->
-
+
@@ -584,7 +584,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 6b7462544c..2f5ec76148 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.
-->
-
+
@@ -462,7 +462,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_ioports.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_ioports.html
index 3091dec1a7..0a88038559 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.
-->
-
+
@@ -594,7 +594,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_pci.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_pci.html
index ccd54b3241..1a291ba21b 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.
-->
-
+
@@ -590,7 +590,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_pci_helper.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_pci_helper.html
index 678ba3886e..195719b8c4 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.
-->
-
+
@@ -784,7 +784,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_virtio_con.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_virtio_con.html
index 4f01ba467e..5a38d9bfb7 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.
-->
-
+
@@ -495,7 +495,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_virtio_net.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_virtio_net.html
index 0cfe8a0f11..33fa67260a 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.
-->
-
+
@@ -517,7 +517,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_x86_acpi.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_x86_acpi.html
index 2410d0175c..6ae727fa29 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.
-->
-
+
@@ -461,7 +461,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 05c3c731e1..2ade574cd5 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.
-->
-
+
@@ -491,7 +491,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 bdb865952f..6cd1b567db 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.
-->
-
+
@@ -509,7 +509,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
Page last updated:
diff --git a/projects/virtualization/docs/index.html b/projects/virtualization/docs/index.html
index 6017c3a130..e437337a26 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.
-->
-
+
@@ -479,7 +479,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 1b8ab75ed0..82e16b094f 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.
-->
-
+
@@ -421,7 +421,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 21aa9fa71c..2a79492a66 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.
-->
-
+
@@ -489,7 +489,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 60f888cbfe..a0c024133b 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.
-->
-
+
@@ -515,7 +515,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17
diff --git a/releases/camkes.html b/releases/camkes.html
index ec2f77ef91..70795eee27 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.
-->
-
+
@@ -195,7 +195,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 deab5fdfa2..ff7ea24a8d 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.
-->
-
+
@@ -399,7 +399,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
diff --git a/releases/camkes/camkes-2.1.0.html b/releases/camkes/camkes-2.1.0.html
index 471b8e09e0..fc949ba1be 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.
-->
-
+
@@ -431,7 +431,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
diff --git a/releases/camkes/camkes-2.2.0.html b/releases/camkes/camkes-2.2.0.html
index 55d6daac60..92c12cedc7 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.
-->
-
+
@@ -411,7 +411,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
diff --git a/releases/camkes/camkes-2.3.0.html b/releases/camkes/camkes-2.3.0.html
index eaa77b1eef..e2a554ba96 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.
-->
-
+
@@ -407,7 +407,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
diff --git a/releases/camkes/camkes-2.3.1.html b/releases/camkes/camkes-2.3.1.html
index 31eeb5f8e1..6d37c8908f 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.
-->
-
+
@@ -399,7 +399,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
diff --git a/releases/camkes/camkes-3.0.0.html b/releases/camkes/camkes-3.0.0.html
index a209b37508..d33c98af25 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.
-->
-
+
@@ -535,7 +535,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
diff --git a/releases/camkes/camkes-3.1.0.html b/releases/camkes/camkes-3.1.0.html
index 1777ff4aae..905146d0de 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.
-->
-
+
@@ -438,7 +438,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
diff --git a/releases/camkes/camkes-3.10.0.html b/releases/camkes/camkes-3.10.0.html
index caf4dcbce2..7c4d887d7c 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.
-->
-
+
@@ -438,7 +438,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
diff --git a/releases/camkes/camkes-3.2.0.html b/releases/camkes/camkes-3.2.0.html
index 41bf419c32..125c807f3c 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.
-->
-
+
@@ -481,7 +481,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
diff --git a/releases/camkes/camkes-3.3.0.html b/releases/camkes/camkes-3.3.0.html
index 651f977341..61ec5eb215 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.
-->
-
+
@@ -429,7 +429,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
diff --git a/releases/camkes/camkes-3.4.0.html b/releases/camkes/camkes-3.4.0.html
index c3d25004a7..871423f9cf 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.
-->
-
+
@@ -412,7 +412,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
diff --git a/releases/camkes/camkes-3.5.0.html b/releases/camkes/camkes-3.5.0.html
index cc49ef4189..7f0ccbbb27 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.
-->
-
+
@@ -422,7 +422,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
diff --git a/releases/camkes/camkes-3.6.0.html b/releases/camkes/camkes-3.6.0.html
index b197dff275..8dd53f93f7 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.
-->
-
+
@@ -439,7 +439,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
diff --git a/releases/camkes/camkes-3.7.0.html b/releases/camkes/camkes-3.7.0.html
index 97b0d0738f..4d470abc81 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.
-->
-
+
@@ -410,7 +410,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
diff --git a/releases/camkes/camkes-3.8.0.html b/releases/camkes/camkes-3.8.0.html
index 0cc4d5a5f8..752991d008 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.
-->
-
+
@@ -461,7 +461,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
diff --git a/releases/camkes/camkes-3.9.0.html b/releases/camkes/camkes-3.9.0.html
index f1680f7925..7e53110025 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.
-->
-
+
@@ -543,7 +543,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
diff --git a/releases/capdl/0.1.0.html b/releases/capdl/0.1.0.html
index a11b2d0f91..b3b230713e 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.
-->
-
+
@@ -348,7 +348,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
diff --git a/releases/capdl/0.2.0.html b/releases/capdl/0.2.0.html
index e72fd08ed0..e16144a300 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.
-->
-
+
@@ -322,7 +322,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
diff --git a/releases/capdl/0.2.1.html b/releases/capdl/0.2.1.html
index 4e6f1d8058..15a1bea1e9 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.
-->
-
+
@@ -275,7 +275,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
diff --git a/releases/sel4.html b/releases/sel4.html
index 9773b98845..b6d703f057 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.
-->
-
+
@@ -474,7 +474,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 31bff02180..0a078b2ac1 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.
-->
-
+
@@ -688,7 +688,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
diff --git a/releases/sel4/1.0.0-rt-dev.html b/releases/sel4/1.0.0-rt-dev.html
index 4af6e45ef8..83d2bd6453 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.
-->
-
+
@@ -756,7 +756,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
diff --git a/releases/sel4/10.0.0.html b/releases/sel4/10.0.0.html
index d03a2b476e..e0981d0366 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.
-->
-
+
@@ -620,7 +620,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
diff --git a/releases/sel4/10.1.0.html b/releases/sel4/10.1.0.html
index 03fe0f1e59..aafbc2284d 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.
-->
-
+
@@ -624,7 +624,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
diff --git a/releases/sel4/10.1.1-mcs.html b/releases/sel4/10.1.1-mcs.html
index fb13a4d7ec..da739e9702 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.
-->
-
+
@@ -814,7 +814,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
diff --git a/releases/sel4/10.1.1.html b/releases/sel4/10.1.1.html
index 727f0c86cf..a8ab8e6508 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.
-->
-
+
@@ -605,7 +605,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
diff --git a/releases/sel4/11.0.0.html b/releases/sel4/11.0.0.html
index ce70d347fc..5adcf4d2bf 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.
-->
-
+
@@ -716,7 +716,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
diff --git a/releases/sel4/12.0.0.html b/releases/sel4/12.0.0.html
index d202ec0268..05e31435ff 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.
-->
-
+
@@ -868,7 +868,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
diff --git a/releases/sel4/12.1.0.html b/releases/sel4/12.1.0.html
index c5742db430..4df8ec374a 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.
-->
-
+
@@ -744,7 +744,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
diff --git a/releases/sel4/2.0.0.html b/releases/sel4/2.0.0.html
index 86ef366ce6..0ac1147d44 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.
-->
-
+
@@ -739,7 +739,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
diff --git a/releases/sel4/2.1.0.html b/releases/sel4/2.1.0.html
index 0338bd5562..bd8bc5d627 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.
-->
-
+
@@ -618,7 +618,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
diff --git a/releases/sel4/3.0.0.html b/releases/sel4/3.0.0.html
index 9a8aef29a6..4f9a92af64 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.
-->
-
+
@@ -702,7 +702,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
diff --git a/releases/sel4/3.0.1.html b/releases/sel4/3.0.1.html
index e8202172e9..7fd1d5daa9 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.
-->
-
+
@@ -605,7 +605,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
diff --git a/releases/sel4/3.1.0.html b/releases/sel4/3.1.0.html
index 3241911ec8..cb0badc667 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.
-->
-
+
@@ -625,7 +625,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
diff --git a/releases/sel4/3.2.0.html b/releases/sel4/3.2.0.html
index 5bffec15f9..d75681cc8a 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.
-->
-
+
@@ -628,7 +628,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
diff --git a/releases/sel4/4.0.0.html b/releases/sel4/4.0.0.html
index c95993eccc..3981386d9c 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.
-->
-
+
@@ -677,7 +677,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
diff --git a/releases/sel4/5.0.0.html b/releases/sel4/5.0.0.html
index 69230674ea..d4d530fd90 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.
-->
-
+
@@ -638,7 +638,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
diff --git a/releases/sel4/5.1.0.html b/releases/sel4/5.1.0.html
index dc2768940a..67a5a86c68 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.
-->
-
+
@@ -618,7 +618,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
diff --git a/releases/sel4/5.2.0-mcs.html b/releases/sel4/5.2.0-mcs.html
index 112c80cc95..67943c9dc2 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.
-->
-
+
@@ -818,7 +818,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
diff --git a/releases/sel4/5.2.0.html b/releases/sel4/5.2.0.html
index 799dcb1977..531110e59d 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.
-->
-
+
@@ -619,7 +619,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
diff --git a/releases/sel4/6.0.0.html b/releases/sel4/6.0.0.html
index d1a4c95b02..a3f0d956dc 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.
-->
-
+
@@ -660,7 +660,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
diff --git a/releases/sel4/7.0.0.html b/releases/sel4/7.0.0.html
index 6d7d68dd3e..9e3afe04a2 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.
-->
-
+
@@ -650,7 +650,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
diff --git a/releases/sel4/8.0.0.html b/releases/sel4/8.0.0.html
index ba33098f2b..e1d224348c 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.
-->
-
+
@@ -628,7 +628,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
diff --git a/releases/sel4/9.0.0-mcs.html b/releases/sel4/9.0.0-mcs.html
index 0423751a0d..1362703354 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.
-->
-
+
@@ -838,7 +838,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
diff --git a/releases/sel4/9.0.0.html b/releases/sel4/9.0.0.html
index 19e184f0e9..45d7fe38b1 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.
-->
-
+
@@ -640,7 +640,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
diff --git a/releases/sel4/9.0.1.html b/releases/sel4/9.0.1.html
index 8dd511cfe1..ff41b94522 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.
-->
-
+
@@ -614,7 +614,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
diff --git a/sitemap.html b/sitemap.html
index d380f01b8f..6b749d179e 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.
-->
-
+
@@ -921,7 +921,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17
diff --git a/sitemap.xml b/sitemap.xml
index 9fa329ef4f..040ab14867 100644
--- a/sitemap.xml
+++ b/sitemap.xml
@@ -2,243 +2,243 @@
https://docs.sel4.systems/releases/camkes/camkes-2.0.0.html
-2024-05-19T03:15:47+00:00
+2024-05-19T07:26:47+00:00
https://docs.sel4.systems/releases/camkes/camkes-2.1.0.html
-2024-05-19T03:15:47+00:00
+2024-05-19T07:26:47+00:00
https://docs.sel4.systems/releases/camkes/camkes-2.2.0.html
-2024-05-19T03:15:47+00:00
+2024-05-19T07:26:47+00:00
https://docs.sel4.systems/releases/camkes/camkes-2.3.0.html
-2024-05-19T03:15:47+00:00
+2024-05-19T07:26:47+00:00
https://docs.sel4.systems/releases/camkes/camkes-2.3.1.html
-2024-05-19T03:15:47+00:00
+2024-05-19T07:26:47+00:00
https://docs.sel4.systems/releases/camkes/camkes-3.0.0.html
-2024-05-19T03:15:47+00:00
+2024-05-19T07:26:47+00:00
https://docs.sel4.systems/releases/camkes/camkes-3.1.0.html
-2024-05-19T03:15:47+00:00
+2024-05-19T07:26:47+00:00
https://docs.sel4.systems/releases/camkes/camkes-3.10.0.html
-2024-05-19T03:15:47+00:00
+2024-05-19T07:26:47+00:00
https://docs.sel4.systems/releases/camkes/camkes-3.2.0.html
-2024-05-19T03:15:47+00:00
+2024-05-19T07:26:47+00:00
https://docs.sel4.systems/releases/camkes/camkes-3.3.0.html
-2024-05-19T03:15:47+00:00
+2024-05-19T07:26:47+00:00
https://docs.sel4.systems/releases/camkes/camkes-3.4.0.html
-2024-05-19T03:15:47+00:00
+2024-05-19T07:26:47+00:00
https://docs.sel4.systems/releases/camkes/camkes-3.5.0.html
-2024-05-19T03:15:47+00:00
+2024-05-19T07:26:47+00:00
https://docs.sel4.systems/releases/camkes/camkes-3.6.0.html
-2024-05-19T03:15:47+00:00
+2024-05-19T07:26:47+00:00
https://docs.sel4.systems/releases/camkes/camkes-3.7.0.html
-2024-05-19T03:15:47+00:00
+2024-05-19T07:26:47+00:00
https://docs.sel4.systems/releases/camkes/camkes-3.8.0.html
-2024-05-19T03:15:47+00:00
+2024-05-19T07:26:47+00:00
https://docs.sel4.systems/releases/camkes/camkes-3.9.0.html
-2024-05-19T03:15:47+00:00
+2024-05-19T07:26:47+00:00
https://docs.sel4.systems/releases/capdl/0.1.0.html
-2024-05-19T03:15:47+00:00
+2024-05-19T07:26:47+00:00
https://docs.sel4.systems/releases/capdl/0.2.0.html
-2024-05-19T03:15:47+00:00
+2024-05-19T07:26:47+00:00
https://docs.sel4.systems/releases/capdl/0.2.1.html
-2024-05-19T03:15:47+00:00
+2024-05-19T07:26:47+00:00
https://docs.sel4.systems/releases/sel4/0.0.1-rt-dev.html
-2024-05-19T03:15:47+00:00
+2024-05-19T07:26:47+00:00
https://docs.sel4.systems/releases/sel4/1.0.0-rt-dev.html
-2024-05-19T03:15:47+00:00
+2024-05-19T07:26:47+00:00
https://docs.sel4.systems/releases/sel4/10.0.0.html
-2024-05-19T03:15:47+00:00
+2024-05-19T07:26:47+00:00
https://docs.sel4.systems/releases/sel4/10.1.0.html
-2024-05-19T03:15:47+00:00
+2024-05-19T07:26:47+00:00
https://docs.sel4.systems/releases/sel4/10.1.1-mcs.html
-2024-05-19T03:15:47+00:00
+2024-05-19T07:26:47+00:00
https://docs.sel4.systems/releases/sel4/10.1.1.html
-2024-05-19T03:15:47+00:00
+2024-05-19T07:26:47+00:00
https://docs.sel4.systems/releases/sel4/11.0.0.html
-2024-05-19T03:15:47+00:00
+2024-05-19T07:26:47+00:00
https://docs.sel4.systems/releases/sel4/12.0.0.html
-2024-05-19T03:15:47+00:00
+2024-05-19T07:26:47+00:00
https://docs.sel4.systems/releases/sel4/12.1.0.html
-2024-05-19T03:15:47+00:00
+2024-05-19T07:26:47+00:00
https://docs.sel4.systems/releases/sel4/2.0.0.html
-2024-05-19T03:15:47+00:00
+2024-05-19T07:26:47+00:00
https://docs.sel4.systems/releases/sel4/2.1.0.html
-2024-05-19T03:15:47+00:00
+2024-05-19T07:26:47+00:00
https://docs.sel4.systems/releases/sel4/3.0.0.html
-2024-05-19T03:15:47+00:00
+2024-05-19T07:26:47+00:00
https://docs.sel4.systems/releases/sel4/3.0.1.html
-2024-05-19T03:15:47+00:00
+2024-05-19T07:26:47+00:00
https://docs.sel4.systems/releases/sel4/3.1.0.html
-2024-05-19T03:15:47+00:00
+2024-05-19T07:26:47+00:00
https://docs.sel4.systems/releases/sel4/3.2.0.html
-2024-05-19T03:15:47+00:00
+2024-05-19T07:26:47+00:00
https://docs.sel4.systems/releases/sel4/4.0.0.html
-2024-05-19T03:15:47+00:00
+2024-05-19T07:26:47+00:00
https://docs.sel4.systems/releases/sel4/5.0.0.html
-2024-05-19T03:15:47+00:00
+2024-05-19T07:26:47+00:00
https://docs.sel4.systems/releases/sel4/5.1.0.html
-2024-05-19T03:15:47+00:00
+2024-05-19T07:26:47+00:00
https://docs.sel4.systems/releases/sel4/5.2.0-mcs.html
-2024-05-19T03:15:47+00:00
+2024-05-19T07:26:47+00:00
https://docs.sel4.systems/releases/sel4/5.2.0.html
-2024-05-19T03:15:47+00:00
+2024-05-19T07:26:47+00:00
https://docs.sel4.systems/releases/sel4/6.0.0.html
-2024-05-19T03:15:47+00:00
+2024-05-19T07:26:47+00:00
https://docs.sel4.systems/releases/sel4/7.0.0.html
-2024-05-19T03:15:47+00:00
+2024-05-19T07:26:47+00:00
https://docs.sel4.systems/releases/sel4/8.0.0.html
-2024-05-19T03:15:47+00:00
+2024-05-19T07:26:47+00:00
https://docs.sel4.systems/releases/sel4/9.0.0-mcs.html
-2024-05-19T03:15:47+00:00
+2024-05-19T07:26:47+00:00
https://docs.sel4.systems/releases/sel4/9.0.0.html
-2024-05-19T03:15:47+00:00
+2024-05-19T07:26:47+00:00
https://docs.sel4.systems/releases/sel4/9.0.1.html
-2024-05-19T03:15:47+00:00
+2024-05-19T07:26:47+00:00
https://docs.sel4.systems/projects/camkes/status.html
-2024-05-19T03:15:47+00:00
+2024-05-19T07:26:47+00:00
https://docs.sel4.systems/projects/sel4/status.html
-2024-05-19T03:15:47+00:00
+2024-05-19T07:26:47+00:00
https://docs.sel4.systems/projects/sel4bench/status.html
-2024-05-19T03:15:47+00:00
+2024-05-19T07:26:47+00:00
https://docs.sel4.systems/projects/sel4test/status.html
-2024-05-19T03:15:47+00:00
+2024-05-19T07:26:47+00:00
https://docs.sel4.systems/projects/user_libs/status.html
-2024-05-19T03:15:47+00:00
+2024-05-19T07:26:47+00:00
https://docs.sel4.systems/updates/buildsystem/11.0.x.html
-2024-05-19T03:15:47+00:00
+2024-05-19T07:26:47+00:00
https://docs.sel4.systems/updates/camkes-vm/camkes-3.8.x-arm-old.html
-2024-05-19T03:15:47+00:00
+2024-05-19T07:26:47+00:00
https://docs.sel4.systems/updates/camkes-vm/camkes-3.8.x.html
-2024-05-19T03:15:47+00:00
+2024-05-19T07:26:47+00:00
https://docs.sel4.systems/updates/elfloader/11.0.x.html
-2024-05-19T03:15:47+00:00
+2024-05-19T07:26:47+00:00
https://docs.sel4.systems/updates/sel4-tutorials/camkes-3.8.x.html
-2024-05-19T03:15:47+00:00
+2024-05-19T07:26:47+00:00
https://docs.sel4.systems/updates/sel4bench/11.0.x.html
-2024-05-19T03:15:47+00:00
+2024-05-19T07:26:47+00:00
https://docs.sel4.systems/updates/sel4runtime/11.0.x.html
-2024-05-19T03:15:47+00:00
+2024-05-19T07:26:47+00:00
https://docs.sel4.systems/updates/sel4test/11.0.x.html
-2024-05-19T03:15:47+00:00
+2024-05-19T07:26:47+00:00
https://docs.sel4.systems/updates/sel4webserver/camkes-3.8.x.html
-2024-05-19T03:15:47+00:00
+2024-05-19T07:26:47+00:00
https://docs.sel4.systems/updates/user_libs/11.0.x.html
-2024-05-19T03:15:47+00:00
+2024-05-19T07:26:47+00:00
https://docs.sel4.systems/projects/driver_framework/AddressingOtherDevices.html
@@ -818,10 +818,10 @@
https://docs.sel4.systems/Hardware/CEI_TK1_SOM/CANBoard/canboard_v3.pdf
-2024-05-19T03:13:56+00:00
+2024-05-19T07:24:58+00:00
https://docs.sel4.systems/Hardware/CEI_TK1_SOM/DaughterBoard/daughterboard_r3a_schematic.pdf
-2024-05-19T03:13:56+00:00
+2024-05-19T07:24:58+00:00
diff --git a/updates/buildsystem.html b/updates/buildsystem.html
index 257ec04031..d13848207c 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.
-->
-
+
@@ -241,7 +241,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 1a1c0b6e68..05f7dbcb6f 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.
-->
-
+
@@ -348,7 +348,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
diff --git a/updates/camkes-vm.html b/updates/camkes-vm.html
index 06fd153529..c744fa3bf3 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.
-->
-
+
@@ -257,7 +257,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 adfdef8da4..c074483d78 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.
-->
-
+
@@ -371,7 +371,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
diff --git a/updates/camkes-vm/camkes-3.8.x.html b/updates/camkes-vm/camkes-3.8.x.html
index 75fa9d9fe2..34b3c1db3b 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.
-->
-
+
@@ -301,7 +301,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
diff --git a/updates/elfloader.html b/updates/elfloader.html
index 97261e04e6..f4e98d0d96 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.
-->
-
+
@@ -234,7 +234,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 9eee994a1c..ed74c2a363 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.
-->
-
+
@@ -337,7 +337,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
diff --git a/updates/sel4-tutorials.html b/updates/sel4-tutorials.html
index aa27a1415a..0fea2e89c3 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.
-->
-
+
@@ -241,7 +241,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 578f26d0e1..760d340ed7 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.
-->
-
+
@@ -291,7 +291,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
diff --git a/updates/sel4bench.html b/updates/sel4bench.html
index 72e7d1c661..c2b4ff92ef 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.
-->
-
+
@@ -248,7 +248,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 a1d3480c89..40110050d1 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.
-->
-
+
@@ -304,7 +304,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
diff --git a/updates/sel4runtime.html b/updates/sel4runtime.html
index be26385be5..d72db15f48 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.
-->
-
+
@@ -234,7 +234,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 ae09069140..e7031a332e 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.
-->
-
+
@@ -284,7 +284,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
diff --git a/updates/sel4test.html b/updates/sel4test.html
index a184a0d4b4..884ce73a0d 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.
-->
-
+
@@ -248,7 +248,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 de68a9da4b..afb7ceb9f0 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.
-->
-
+
@@ -339,7 +339,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
diff --git a/updates/sel4webserver.html b/updates/sel4webserver.html
index 23200a58a5..517921bc2c 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.
-->
-
+
@@ -241,7 +241,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 d6ea62aa51..a89371c8dc 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.
-->
-
+
@@ -264,7 +264,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
diff --git a/updates/user_libs.html b/updates/user_libs.html
index 5db146e4b1..e10ea50cd0 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.
-->
-
+
@@ -262,7 +262,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-
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 4cb405b3cf..16cdd2e476 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.
-->
-
+
@@ -621,7 +621,7 @@
-
- Site last updated: Thu May 9 10:52:20 2024 +0100 e70ccf94ee
+ Site last updated: Sun May 19 17:24:32 2024 +1000 1f039c4feb
-