genode/repos/base-hw/src/core/kernel
Adrian-Ken Rueegsegger f4cb9101a4 hw: Fix format string for 64 bit platforms
Use the format specifier of the largest possible type and cast the value
to the chosen type. This avoids compiler warnings on x86_64.
2015-03-27 11:53:33 +01:00
..
cpu.cc hw_arndale: enable ARM virtualization extensions 2015-02-27 11:48:05 +01:00
irq.cc hw_arndale: enable ARM virtualization extensions 2015-02-27 11:48:05 +01:00
kernel.cc hw: adjust core bootstrap to fit generic process 2015-03-19 08:57:19 +01:00
pd.cc hw & arm_v7: mode transition via transit ttbr0 2014-08-15 10:19:48 +02:00
signal_receiver.cc Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
test.cc hw: enable kernel-internal tests via run tool 2014-11-28 12:02:34 +01:00
thread.cc hw: Fix format string for 64 bit platforms 2015-03-27 11:53:33 +01:00
vm_thread.cc hw_arndale: enable ARM virtualization extensions 2015-02-27 11:48:05 +01:00