Bahadir Balban 74b5963fcb Kernel updates since December 2009

2010-03-25 01:12:40 +02:00

..

capability.7

Kernel updates since December 2009

2010-03-25 01:12:40 +02:00

kip.7

Kernel updates since December 2009

2010-03-25 01:12:40 +02:00

l4_cache_control.7

Kernel updates since December 2009

2010-03-25 01:12:40 +02:00

l4_capability_control.7

Kernel updates since December 2009

2010-03-25 01:12:40 +02:00

l4_exchange_registers.7

Kernel updates since December 2009

2010-03-25 01:12:40 +02:00

l4_getid.7

Kernel updates since December 2009

2010-03-25 01:12:40 +02:00

l4_ipc.7

Update to manual pages.

2009-12-04 00:30:25 +02:00

l4_irq_control.7

Kernel updates since December 2009

2010-03-25 01:12:40 +02:00

l4_map.7

Update to manual pages.

2009-12-04 00:30:25 +02:00

l4_mutex_control.7

Kernel updates since December 2009

2010-03-25 01:12:40 +02:00

l4_thread_control.7

Kernel updates since December 2009

2010-03-25 01:12:40 +02:00

l4_thread_switch.7

Update to manual pages.

2009-12-04 00:30:25 +02:00

l4_time.7

Update to manual pages.

2009-12-04 00:30:25 +02:00

l4_unmap.7

Update to kernel systable for new capability control signature.

2009-12-04 00:37:00 +02:00

utcb.7

Kernel updates since December 2009

2010-03-25 01:12:40 +02:00