seL4 util_libs issues - Githubissues

seL4 / util_libs

Other

52 stars 83 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

pc99,libplatsupport: rename ega --> vga to keep device names consistent

#186 ericspidledw opened 1 week ago
0
libplatsupport: use ltimer prefix for functions

#185 axel-h opened 1 month ago
0
libplatsupport: use proper return type

#184 axel-h closed 1 month ago
0
trivial: fix typo in comment

#183 axel-h closed 1 month ago
0
libplatsupport: Add support for imx8mp-evk

#182 nomadeel closed 3 weeks ago
0
CI: cancel older concurrent PR runs

#181 axel-h closed 3 months ago
0
libplatsupport: use proper format specifier

#180 axel-h closed 4 months ago
0
github: bump actions to node20

#179 lsf37 closed 5 months ago
0
libutils: use proper macro name in comment

#178 axel-h closed 5 months ago
0
libplatsupport/morello: Add basic drivers for morello-soc

#177 heshamelmatary opened 5 months ago
0
libutils: add kernel word size related CTZ macro

#176 colorglass closed 5 months ago
2
libplatsupport/morello: Add basic drivers for fvp

#175 heshamelmatary opened 5 months ago
0
github: retire pr-queue action

#174 lsf37 closed 5 months ago
1
do simulation and HW build with LLVM on RISCV

#173 axel-h closed 5 months ago
0
morello: Add support for QEMU platform

#172 heshamelmatary opened 5 months ago
4
Issues with BCM serial driver

#171 Ivan-Velickovic opened 8 months ago
2
Change to support BSD sed

#170 alwin-joshy closed 10 months ago
1
Update mach timer.h to use axi instead of amba

#169 chrisguikema closed 9 months ago
5
[FIX] Fix bcm pl011 UART

#168 FelixSchladt opened 10 months ago
6
Add pine64 star64 platform

#167 canarysnort01 opened 10 months ago
2
trivial: fix style complaints

#166 axel-h closed 11 months ago
0
hifive: Check if overflow IRQ is actually pending

#165 Indanz closed 1 year ago
1
libethdrivers: add entry for zynqmp driver module

#164 abrandnewusername closed 1 year ago
3
Update libftd to v1.7.0

#163 axel-h opened 1 year ago
0
libfdt: Add 32/64-bit fdt_appendprop_uint()

#162 hlyytine closed 1 year ago
9
libethdrivers: make zynqmp driver usable

#161 axel-h closed 4 months ago
2
libplatsupport: fix build warnings

#160 axel-h closed 1 year ago
1
libethdrivers: bring back linker options

#159 axel-h closed 1 year ago
0
trivial: Fix clang warning about register width

#158 kent-mcleod closed 1 year ago
1
libplatsupport: separate drivers from platforms

#157 axel-h opened 1 year ago
2
CMake cleanup

#156 axel-h closed 1 year ago
5
doc: fix typos

#155 axel-h closed 1 year ago
0
libplatsupport: avoid clang warning

#154 axel-h closed 1 year ago
3
libplatsupport: use proper type

#153 axel-h closed 1 year ago
0
libutils: compile_time_assert to support various standards

#152 elmankku closed 1 year ago
0
github: bump GitHub action versions

#151 lsf37 closed 1 year ago
0
license question

#150 namtsui closed 1 year ago
1
Fix compilation warning about unreachable code

#149 ar-cetitec closed 1 year ago
10
Fix compilation warning about implicit conversion of a negative value

#148 ar-cetitec closed 1 year ago
4
libplatsupport: use const qualifier

#147 axel-h closed 1 year ago
0
libplatsupport: use KernelPlatformZynqmp

#146 axel-h closed 1 year ago
8
libutils: remove duplicate include statement

#145 axel-h closed 1 year ago
0
trivial: Fix typo in linker arg for tx2 ethernet

#144 kent-mcleod closed 1 year ago
0
libplatsupport: add UART for qemu-riscv-virt platform

#143 axel-h closed 1 year ago
3
trivial: fix ultra96 serial macro

#142 chrisguikema closed 1 year ago
5
PolarFire SoC: Ltimer Support

#141 Apave24 closed 1 year ago
3
Fix RPi3 build failure

#140 JoonasOnatsu closed 1 year ago
0
Prelim zynqmp ethdrivers support

#139 chrisguikema closed 1 year ago
5
zynqmp, trivial: add cpu frequency

#138 chrisguikema closed 1 year ago
0
ultra96: add ultra96 serial support

#137 chrisguikema closed 1 year ago
0