Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

PolarFire SoC: Initial platform UART support #38

Merged
merged 1 commit into from
Sep 21, 2020

Conversation

Jesse-Millwood
Copy link
Contributor

Signed-off-by: Jesse Millwood jesse.millwood@dornerworks.com


static void uart_handle_irq(ps_chardevice_t* d UNUSED)
{

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I'd recomment to add a comment that this is empty on purpose. Otherwise one might wonder if soemthing got lost form some failes merge

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Good call, added.

regs->tx_buffer = c;
if (c == '\n' && (d->flags & SERIAL_AUTO_CR))
{
uart_putchar(d, '\r');
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This writes "\n\r" (LF+CR), but it should actually be "\r\n" (CR+LF ). That's a thing spreading through copy/paste since some time, see also https://github.com/seL4/util_libs/pull/30/commits).

I recommend to rewrite this as

static void busy_wait_fifo_empty_and_tx_char(uart_regs_t* regs, int c)
{
    // wait until FIFO empty
    while ((regs->line_status & LSR_TX_HOLD_REG_EMPTY_MASK) == 0)
    {
        // busy loop
    }

    regs->tx_buffer = c;
}

int uart_putchar(ps_chardevice_t* d, int c)
{
    uart_regs_t* regs = uart_get_priv(d);

    // turn LF into CR+LF if SERIAL_AUTO_CR is active
    if ((c == '\n') && (d->flags & SERIAL_AUTO_CR))
    {
        busy_wait_fifo_empty_and_tx_char(d,'\r');
    }

    busy_wait_fifo_empty_and_tx_char(d, c);
    return c;
}

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nice catch, yeah I copied it from another driver.

@axel-h
Copy link
Member

axel-h commented Sep 14, 2020

looks ok to me now

@abrandnewusername
Copy link
Contributor

@ssrg-bamboo test

@ssrg-bamboo
Copy link

Hello, I'm a bot! I'll bring this PR into Trustworthy Systems and run some tests

@ssrg-bamboo
Copy link

Test results for commit aa1199b

Summary

Test name Result
Code Quality - Check licenses - util_libs - EXT-dornerworks-polarfire-support-38 SUCCESSFUL
Code Quality - Style - util_libs - EXT-dornerworks-polarfire-support-38 FAILED

Detailed failure logs

Project Stage Result summary
Code Quality - Style - util_libs - EXT-dornerworks-polarfire-support-38 Style check on changed files 1 of 3 jobs failed

Job: style
Build logs

17-Sep-2020 15:55:23	Build Code Quality - Style - util_libs - EXT-dornerworks-polarfire-support-38 - style #1 (CQ-UTILLIBSSTYLE134-UTILLIBSSTYLEPR-1) started building on agent A local agent 2
17-Sep-2020 15:55:23	I run on the Bamboo server!
17-Sep-2020 15:55:23	Build working directory is /var/atlassian/application-data/bamboo/xml-data/build-dir/151224373/CQ-UTILLIBSSTYLE134-UTILLIBSSTYLEPR
17-Sep-2020 15:55:23	Executing build Code Quality - Style - util_libs - EXT-dornerworks-polarfire-support-38 - style #1 (CQ-UTILLIBSSTYLE134-UTILLIBSSTYLEPR-1)
17-Sep-2020 15:55:23	Preparing artifact 'code' for use at /var/atlassian/application-data/bamboo/xml-data/build-dir/151224373/CQ-UTILLIBSSTYLE134-UTILLIBSSTYLEPR/. (location: .)
17-Sep-2020 15:55:23	Artifact 'code' prepared in 33.65 ms at /var/atlassian/application-data/bamboo/xml-data/build-dir/151224373/CQ-UTILLIBSSTYLE134-UTILLIBSSTYLEPR/./code.tar.gz
17-Sep-2020 15:55:23	Running pre-build action: VCS Version Collector
17-Sep-2020 15:55:23	Starting task 'Untar code' of type 'com.atlassian.bamboo.plugins.scripttask:task.builder.script'
17-Sep-2020 15:55:23	+ tar xf code.tar.gz --recursive-unlink
17-Sep-2020 15:55:23	Finished task 'Untar code' with result: Success
17-Sep-2020 15:55:23	Starting task 'Set permissions so Bamboo can cleanup' of type 'com.atlassian.bamboo.plugins.scripttask:task.builder.script'
17-Sep-2020 15:55:23	+ chmod -R o+rwx /var/atlassian/application-data/bamboo/xml-data/build-dir/151224373/CQ-UTILLIBSSTYLE134-UTILLIBSSTYLEPR
17-Sep-2020 15:55:23	Finished task 'Set permissions so Bamboo can cleanup' with result: Success
17-Sep-2020 15:55:23	Starting task 'Check style of changed files' of type 'com.atlassian.bamboo.plugins.scripttask:task.builder.script'
17-Sep-2020 15:55:23	+ cd util_libs
17-Sep-2020 15:55:23	+ xargs -d '\n' /var/atlassian/application-data/bamboo/xml-data/build-dir/151224373/CQ-UTILLIBSSTYLE134-UTILLIBSSTYLEPR/seL4_tools/misc/style.sh
17-Sep-2020 15:55:23	++ git merge-base aa1199bbde425c9fc72ee16dc2dabc0899da6a2d 02d04caa4dec62204eb1b024be63572d1c23f0b8
17-Sep-2020 15:55:23	+ git diff --name-only aa1199bbde425c9fc72ee16dc2dabc0899da6a2d 2c4603aa68963e7285ba98d4133b31097d7878a6
17-Sep-2020 15:55:23	Unchanged  libplatsupport/plat_include/polarfire/platsupport/plat/icicle_mss.h
17-Sep-2020 15:55:23	Unchanged  libplatsupport/plat_include/polarfire/platsupport/plat/serial.h
17-Sep-2020 15:55:23	Formatted  libplatsupport/src/plat/polarfire/chardev.c
17-Sep-2020 15:55:23	Formatted  libplatsupport/src/plat/polarfire/uart.c
17-Sep-2020 15:55:24	+ git diff --exit-code
17-Sep-2020 15:55:24	diff --git a/libplatsupport/src/plat/polarfire/chardev.c b/libplatsupport/src/plat/polarfire/chardev.c
17-Sep-2020 15:55:24	index 64f8817..835ff0a 100644
17-Sep-2020 15:55:24	--- a/libplatsupport/src/plat/polarfire/chardev.c
17-Sep-2020 15:55:24	+++ b/libplatsupport/src/plat/polarfire/chardev.c
17-Sep-2020 15:55:24	@@ -39,8 +39,9 @@ const struct dev_defn dev_defn[] = {
17-Sep-2020 15:55:24	 };
17-Sep-2020 15:55:24	 
17-Sep-2020 15:55:24	 
17-Sep-2020 15:55:24	-struct ps_chardevice*
17-Sep-2020 15:55:24	-ps_cdev_init(enum chardev_id id, const ps_io_ops_t* o, struct ps_chardevice* d) {
17-Sep-2020 15:55:24	+struct ps_chardevice *
17-Sep-2020 15:55:24	+ps_cdev_init(enum chardev_id id, const ps_io_ops_t *o, struct ps_chardevice *d)
17-Sep-2020 15:55:24	+{
17-Sep-2020 15:55:24	     unsigned int i;
17-Sep-2020 15:55:24	     for (i = 0; i < ARRAY_SIZE(dev_defn); i++) {
17-Sep-2020 15:55:24	         if (dev_defn[i].id == id) {
17-Sep-2020 15:55:24	diff --git a/libplatsupport/src/plat/polarfire/uart.c b/libplatsupport/src/plat/polarfire/uart.c
17-Sep-2020 15:55:24	index a263558..de7182b 100644
17-Sep-2020 15:55:24	--- a/libplatsupport/src/plat/polarfire/uart.c
17-Sep-2020 15:55:24	+++ b/libplatsupport/src/plat/polarfire/uart.c
17-Sep-2020 15:55:24	@@ -18,38 +18,36 @@
17-Sep-2020 15:55:24	 
17-Sep-2020 15:55:24	 #include "../../chardev.h"
17-Sep-2020 15:55:24	 
17-Sep-2020 15:55:24	-static inline uart_regs_t*
17-Sep-2020 15:55:24	-uart_get_priv(ps_chardevice_t *d)
17-Sep-2020 15:55:24	+static inline uart_regs_t *uart_get_priv(ps_chardevice_t *d)
17-Sep-2020 15:55:24	 {
17-Sep-2020 15:55:24	-    return (uart_regs_t*)d->vaddr;
17-Sep-2020 15:55:24	+    return (uart_regs_t *)d->vaddr;
17-Sep-2020 15:55:24	 }
17-Sep-2020 15:55:24	 
17-Sep-2020 15:55:24	 int uart_getchar(ps_chardevice_t *d)
17-Sep-2020 15:55:24	 {
17-Sep-2020 15:55:24	-    uart_regs_t* regs = uart_get_priv(d);
17-Sep-2020 15:55:24	-    if (regs->line_status & LSR_DATA_READY_MASK)
17-Sep-2020 15:55:24	+    uart_regs_t *regs = uart_get_priv(d);
17-Sep-2020 15:55:24	+    if (regs->line_status & LSR_DATA_READY_MASK) {
17-Sep-2020 15:55:24	         return regs->rx_buffer;
17-Sep-2020 15:55:24	+    }
17-Sep-2020 15:55:24	     return -1;
17-Sep-2020 15:55:24	 }
17-Sep-2020 15:55:24	 
17-Sep-2020 15:55:24	-static void busy_wait_fifo_empty_and_tx_char(uart_regs_t* regs, int c)
17-Sep-2020 15:55:24	+static void busy_wait_fifo_empty_and_tx_char(uart_regs_t *regs, int c)
17-Sep-2020 15:55:24	 {
17-Sep-2020 15:55:24	     // wait until FIFO empty
17-Sep-2020 15:55:24	-    while ((regs->line_status & LSR_TX_HOLD_REG_EMPTY_MASK) == 0)
17-Sep-2020 15:55:24	-    {
17-Sep-2020 15:55:24	+    while ((regs->line_status & LSR_TX_HOLD_REG_EMPTY_MASK) == 0) {
17-Sep-2020 15:55:24	         // busy loop
17-Sep-2020 15:55:24	     }
17-Sep-2020 15:55:24	 
17-Sep-2020 15:55:24	     regs->tx_buffer = c;
17-Sep-2020 15:55:24	 }
17-Sep-2020 15:55:24	 
17-Sep-2020 15:55:24	-int uart_putchar(ps_chardevice_t* d, int c)
17-Sep-2020 15:55:24	+int uart_putchar(ps_chardevice_t *d, int c)
17-Sep-2020 15:55:24	 {
17-Sep-2020 15:55:24	-    uart_regs_t* regs = uart_get_priv(d);
17-Sep-2020 15:55:24	+    uart_regs_t *regs = uart_get_priv(d);
17-Sep-2020 15:55:24	 
17-Sep-2020 15:55:24	     // turn LF into CR+LF if SERIAL_AUTO_CR is active
17-Sep-2020 15:55:24	-    if ((c == '\n') && (d->flags & SERIAL_AUTO_CR))
17-Sep-2020 15:55:24	-    {
17-Sep-2020 15:55:24	+    if ((c == '\n') && (d->flags & SERIAL_AUTO_CR)) {
17-Sep-2020 15:55:24	         busy_wait_fifo_empty_and_tx_char(regs, '\r');
17-Sep-2020 15:55:24	     }
17-Sep-2020 15:55:24	 
17-Sep-2020 15:55:24	@@ -57,23 +55,23 @@ int uart_putchar(ps_chardevice_t* d, int c)
17-Sep-2020 15:55:24	     return c;
17-Sep-2020 15:55:24	 }
17-Sep-2020 15:55:24	 
17-Sep-2020 15:55:24	-static void uart_handle_irq(ps_chardevice_t* d UNUSED)
17-Sep-2020 15:55:24	+static void uart_handle_irq(ps_chardevice_t *d UNUSED)
17-Sep-2020 15:55:24	 {
17-Sep-2020 15:55:24	     // IRQs are cleared when the TX/RX watermark conditions are no longer met
17-Sep-2020 15:55:24	     // so there is nothing to do here.
17-Sep-2020 15:55:24	 }
17-Sep-2020 15:55:24	 
17-Sep-2020 15:55:24	-int uart_init(const struct dev_defn* defn,
17-Sep-2020 15:55:24	-              const ps_io_ops_t* ops,
17-Sep-2020 15:55:24	-              ps_chardevice_t* dev)
17-Sep-2020 15:55:24	+int uart_init(const struct dev_defn *defn,
17-Sep-2020 15:55:24	+              const ps_io_ops_t *ops,
17-Sep-2020 15:55:24	+              ps_chardevice_t *dev)
17-Sep-2020 15:55:24	 {
17-Sep-2020 15:55:24	-    uart_regs_t* regs;
17-Sep-2020 15:55:24	+    uart_regs_t *regs;
17-Sep-2020 15:55:24	     uint32_t divisor;
17-Sep-2020 15:55:24	     uint32_t divisor_by_128;
17-Sep-2020 15:55:24	     uint32_t divisor_by_64;
17-Sep-2020 15:55:24	     uint32_t fractional_divisor;
17-Sep-2020 15:55:24	     /* Attempt to map the virtual address, assure this works */
17-Sep-2020 15:55:24	-    void* vaddr = chardev_map(defn, ops);
17-Sep-2020 15:55:24	+    void *vaddr = chardev_map(defn, ops);
17-Sep-2020 15:55:24	     if (vaddr == NULL) {
17-Sep-2020 15:55:24	         return -1;
17-Sep-2020 15:55:24	     }
17-Sep-2020 15:55:24	@@ -82,7 +80,7 @@ int uart_init(const struct dev_defn* defn,
17-Sep-2020 15:55:24	 
17-Sep-2020 15:55:24	     /* Set up all the  device properties. */
17-Sep-2020 15:55:24	     dev->id         = defn->id;
17-Sep-2020 15:55:24	-    dev->vaddr      = (void*)vaddr;
17-Sep-2020 15:55:24	+    dev->vaddr      = (void *)vaddr;
17-Sep-2020 15:55:24	     dev->read       = &uart_read;
17-Sep-2020 15:55:24	     dev->write      = &uart_write;
17-Sep-2020 15:55:24	     dev->handle_irq = &uart_handle_irq;
17-Sep-2020 15:55:24	@@ -111,7 +109,7 @@ int uart_init(const struct dev_defn* defn,
17-Sep-2020 15:55:24	     divisor = divisor_by_64 / 64u;
17-Sep-2020 15:55:24	     fractional_divisor = divisor_by_64 - (divisor * 64u);
17-Sep-2020 15:55:24	     fractional_divisor += (divisor_by_128 - (divisor * 128u))
17-Sep-2020 15:55:24	-        - (fractional_divisor * 2u);
17-Sep-2020 15:55:24	+                          - (fractional_divisor * 2u);
17-Sep-2020 15:55:24	 
17-Sep-2020 15:55:24	     // div: 81, frac: 24 => 115207
17-Sep-2020 15:55:24	 
17-Sep-2020 15:55:24	Failing task since return code of [/var/atlassian/application-data/bamboo/temp/CQ-UTILLIBSSTYLE134-UTILLIBSSTYLEPR-1-ScriptBuildTask-8054366809297885178.sh] was 1 while expected 0
17-Sep-2020 15:55:24	Finished task 'Check style of changed files' with result: Failed
17-Sep-2020 15:55:24	Starting task 'Set permissions so Bamboo can cleanup' of type 'com.atlassian.bamboo.plugins.scripttask:task.builder.script'
17-Sep-2020 15:55:24	+ chmod -R o+rwx /var/atlassian/application-data/bamboo/xml-data/build-dir/151224373/CQ-UTILLIBSSTYLE134-UTILLIBSSTYLEPR
17-Sep-2020 15:55:24	Finished task 'Set permissions so Bamboo can cleanup' with result: Success
17-Sep-2020 15:55:24	Starting task 'Run astyle code insights' of type 'com.atlassian.bamboo.plugins.scripttask:task.builder.script'
17-Sep-2020 15:55:24	+ cd util_libs
17-Sep-2020 15:55:24	++ echo ssh://git@bitbucket.ts.data61.csiro.au:7999/sel4/util_libs.git
17-Sep-2020 15:55:24	++ cut -d/ -f4
17-Sep-2020 15:55:24	+ bb_proj=sel4
17-Sep-2020 15:55:24	+ /scripts/bb_code_insights/create_code_insights.sh astyle sel4 util_libs
17-Sep-2020 15:55:24	++ dirname /scripts/bb_code_insights/create_code_insights.sh
17-Sep-2020 15:55:24	+ SCRIPT_DIR=/scripts/bb_code_insights
17-Sep-2020 15:55:24	+ BBS_URL=https://bitbucket.ts.data61.csiro.au
17-Sep-2020 15:55:24	+ BBS_PROJECT=sel4
17-Sep-2020 15:55:24	+ BBS_REPO=util_libs
17-Sep-2020 15:55:24	+ REPORT_TO_RUN=astyle
17-Sep-2020 15:55:24	++ git rev-parse HEAD
17-Sep-2020 15:55:24	+ COMMIT_ID=aa1199bbde425c9fc72ee16dc2dabc0899da6a2d
17-Sep-2020 15:55:24	+ REPORT_KEY=astyle.report
17-Sep-2020 15:55:24	+ set +x
17-Sep-2020 15:55:24	+ report_file=astyle_report.json
17-Sep-2020 15:55:24	+ annotations_file=astyle_annotations.json
17-Sep-2020 15:55:24	+ rm -f astyle_report.json astyle_annotations.json
17-Sep-2020 15:55:24	+ /scripts/bb_code_insights/astyle
17-Sep-2020 15:55:27	Reporting on these files:  ['libplatsupport/include/platsupport/driver_module.h', 'libplatsupport/plat_include/polarfire/platsupport/plat/icicle_mss.h', 'libplatsupport/plat_include/polarfire/platsupport/plat/serial.h', 'libplatsupport/plat_include/rockpro64/platsupport/plat/timer.h', 'libplatsupport/src/mach/zynq/mux.c', 'libplatsupport/src/plat/polarfire/chardev.c', 'libplatsupport/src/plat/polarfire/uart.c', 'libplatsupport/src/plat/rockpro64/timer.c']
17-Sep-2020 15:55:27	Reporting the results to BitBucket, but doing so *secretly*, so people don't see the access token
17-Sep-2020 15:55:27	+ echo 'Reporting the results to BitBucket, but doing so *secretly*, so people don'\''t see the access token'
17-Sep-2020 15:55:27	+ set +x
17-Sep-2020 15:55:27	+ '[' -f astyle_report.json ']'
17-Sep-2020 15:55:27	+ cat astyle_report.json
17-Sep-2020 15:55:27	+ '[' -f astyle_annotations.json ']'
17-Sep-2020 15:55:27	+ cat astyle_annotations.json
17-Sep-2020 15:55:27	{"data":[{"title":"Total number of files with incorrect style","value":2},{"title":"Total number of lines with incorrect style","value":22}],"createdDate":1600322127281,"key":"astyle.report","title":"Code style"}{"title": "Code style", "data": [{"title": "Total number of files with incorrect style", "value": 2}, {"title": "Total number of lines with incorrect style", "value": 22}]}{"annotations": [{"path": "libplatsupport/src/plat/polarfire/chardev.c", "line": 42, "message": "There are 2 line(s) of incorrect style here.", "severity": "HIGH"}, {"path": "libplatsupport/src/plat/polarfire/uart.c", "line": 21, "message": "There are 2 line(s) of incorrect style here.", "severity": "HIGH"}, {"path": "libplatsupport/src/plat/polarfire/uart.c", "line": 24, "message": "There are 1 line(s) of incorrect style here.", "severity": "HIGH"}, {"path": "libplatsupport/src/plat/polarfire/uart.c", "line": 29, "message": "There are 2 line(s) of incorrect style here.", "severity": "HIGH"}, {"path": "libplatsupport/src/plat/polarfire/uart.c", "line": 31, "message": "There are 0 line(s) of incorrect style here.", "severity": "HIGH"}, {"path": "libplatsupport/src/plat/polarfire/uart.c", "line": 35, "message": "There are 1 line(s) of incorrect style here.", "severity": "HIGH"}, {"path": "libplatsupport/src/plat/polarfire/uart.c", "line": 38, "message": "There are 2 line(s) of incorrect style here.", "severity": "HIGH"}, {"path": "libplatsupport/src/plat/polarfire/uart.c", "line": 46, "message": "There are 1 line(s) of incorrect style here.", "severity": "HIGH"}, {"path": "libplatsupport/src/plat/polarfire/uart.c", "line": 48, "message": "There are 1 line(s) of incorrect style here.", "severity": "HIGH"}, {"path": "libplatsupport/src/plat/polarfire/uart.c", "line": 51, "message": "There are 2 line(s) of incorrect style here.", "severity": "HIGH"}, {"path": "libplatsupport/src/plat/polarfire/uart.c", "line": 60, "message": "There are 1 line(s) of incorrect style here.", "severity": "HIGH"}, {"path": "libplatsupport/src/plat/polarfire/uart.c", "line": 66, "message": "There are 3 line(s) of incorrect style here.", "severity": "HIGH"}, {"path": "libplatsupport/src/plat/polarfire/uart.c", "line": 70, "message": "There are 1 line(s) of incorrect style here.", "severity": "HIGH"}, {"path": "libplatsupport/src/plat/polarfire/uart.c", "line": 76, "message": "There are 1 line(s) of incorrect style here.", "severity": "HIGH"}, {"path": "libplatsupport/src/plat/polarfire/uart.c", "line": 85, "message": "There are 1 line(s) of incorrect style here.", "severity": "HIGH"}, {"path": "libplatsupport/src/plat/polarfire/uart.c", "line": 114, "message": "There are 1 line(s) of incorrect style here.", "severity": "HIGH"}]}
17-Sep-2020 15:55:27	Finished task 'Run astyle code insights' with result: Success
17-Sep-2020 15:55:27	Running post build plugin 'NCover Results Collector'
17-Sep-2020 15:55:27	Running post build plugin 'Artifact Copier'
17-Sep-2020 15:55:27	Running post build plugin 'npm Cache Cleanup'
17-Sep-2020 15:55:27	Running post build plugin 'Clover Results Collector'
17-Sep-2020 15:55:27	Running post build plugin 'Docker Container Cleanup'
17-Sep-2020 15:55:27	Successfully removed working directory at '/var/atlassian/application-data/bamboo/xml-data/build-dir/151224373/CQ-UTILLIBSSTYLE134-UTILLIBSSTYLEPR'
17-Sep-2020 15:55:27	Finalising the build...
17-Sep-2020 15:55:27	Stopping timer.
17-Sep-2020 15:55:27	Build CQ-UTILLIBSSTYLE134-UTILLIBSSTYLEPR-1 completed.
17-Sep-2020 15:55:27	Running on server: post build plugin 'NCover Results Collector'
17-Sep-2020 15:55:27	Running on server: post build plugin 'Build Hanging Detection Configuration'
17-Sep-2020 15:55:27	Running on server: post build plugin 'Clover Delta Calculator'
17-Sep-2020 15:55:27	Running on server: post build plugin 'Maven Dependencies Postprocessor'
17-Sep-2020 15:55:27	All post build plugins have finished
17-Sep-2020 15:55:27	Generating build results summary...
17-Sep-2020 15:55:27	Saving build results to disk...
17-Sep-2020 15:55:27	Store variable context...
17-Sep-2020 15:55:27	Indexing build results...
17-Sep-2020 15:55:27	Finished building CQ-UTILLIBSSTYLE134-UTILLIBSSTYLEPR-1.

This is the most I can report on right now, sorry!

@Jesse-Millwood
Copy link
Contributor Author

Is this simply a failure on my part to run astyle?

@abrandnewusername
Copy link
Contributor

Apologize for leaving this PR unhandled for such a long time and thanks for this.
Yes, can you please fix the style? Everything else looks good to me.

@Jesse-Millwood
Copy link
Contributor Author

Apologize for leaving this PR unhandled for such a long time and thanks for this.
Yes, can you please fix the style? Everything else looks good to me.

No worries! I just pushed the beautified files.

@axel-h
Copy link
Member

axel-h commented Sep 19, 2020

@ssrg-bamboo test

@ssrg-bamboo
Copy link

Hello, I'm a bot! I'll bring this PR into Trustworthy Systems and run some tests

@ssrg-bamboo
Copy link

All the tests we ran have passed! Nice job!

@abrandnewusername
Copy link
Contributor

Can you rebase this PR against master?

Signed-off-by: Jesse Millwood <jesse.millwood@dornerworks.com>
@abrandnewusername
Copy link
Contributor

@ssrg-bamboo test

@ssrg-bamboo
Copy link

Hello, I'm a bot! I'll bring this PR into Trustworthy Systems and run some tests

@ssrg-bamboo
Copy link

All the tests we ran have passed! Nice job!

@ssrg-bamboo ssrg-bamboo merged commit a6a56d6 into seL4:master Sep 21, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants