| #
ef10573e |
|
02-Aug-2018 |
Damon Lee <Damon.Lee@data61.csiro.au> |
Fix build errors
|
| #
fcb2ec62 |
|
02-Aug-2018 |
Damon Lee <Damon.Lee@data61.csiro.au> |
Update copyright year to 2018 for new/significantly updated files
|
| #
3a21110c |
|
29-Jul-2018 |
Damon Lee <Damon.Lee@data61.csiro.au> |
Split clock code into common and arch specific code
|
| #
ed95bd68 |
|
22-Feb-2018 |
Kent McLeod <Kent.Mcleod@data61.csiro.au> |
seL4: remove deleted arch_info function
|
| #
2e1e4a3d |
|
25-Oct-2017 |
Kent McLeod <Kent.Mcleod@data61.csiro.au> |
Fix scheduling bug
|
| #
27d5dd79 |
|
05-Oct-2017 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
Remove timer thread, handle in main rump thread
- remove thread that exists just to handle timer interrupts
- signal timer ntfn from pci thread
- wait directly on timer ntfn in bmk_platform_cpu_block
|
| #
0f30727b |
|
24-Sep-2017 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
Use an ltimer backed by RPC instead of HW timer
Such that we can run multiple rump apps.
|
| #
66f124f3 |
|
06-Sep-2017 |
Kent McLeod <Kent.Mcleod@data61.csiro.au> |
seL4: Add support for seL4 mcs kernel
|
| #
1039c83e |
|
27-Jul-2017 |
Kent McLeod <Kent.Mcleod@data61.csiro.au> |
seL4: Use new sel4platsupport timer API
|
| #
00f4f72c |
|
03-Jul-2017 |
Kent McLeod <Kent.Mcleod@data61.csiro.au> |
seL4: run astyle over project
|
| #
fa9ed23d |
|
18-May-2017 |
Kent McLeod <Kent.Mcleod@data61.csiro.au> |
seL4: Add CAmkES support
|
| #
6a168da1 |
|
09-May-2017 |
Kent McLeod <Kent.Mcleod@data61.csiro.au> |
seL4: Change to use simple implementation
|
| #
6bd86c53 |
|
14-Jun-2017 |
Kent McLeod <Kent.Mcleod@data61.csiro.au> |
seL4: Add better timer and device untyped handling
|
| #
582c0b54 |
|
14-Feb-2017 |
Kent McLeod <Kent.Mcleod@data61.csiro.au> |
seL4: Add seL4 as a target rumprun platform
|