Fork us on GitHub Follow us on Facebook Follow us on Twitter

Timeline



2010-06-08:

21:26 Changeset in mainline [8f80c77]lfn by Jakub Jermar <jakub@…>
Lock/interrupt assertions in the code are self-documenting. No need to …
21:08 Changeset in mainline [2d3ddad]lfn by Jakub Jermar <jakub@…>
Add more *_locked() assertions.
20:12 Changeset in mainline [c992538a]lfn by Jakub Jermar <jakub@…>
Disable interrupts during callN kconsole commands.

2010-06-07:

16:32 BazaarTheory edited by Martin Decky
(diff)
16:31 UsersGuide edited by Martin Decky
(diff)
16:31 BazaarWorkflow edited by Martin Decky
(diff)
16:29 Repositories edited by Martin Decky
(diff)
16:28 Sysel edited by Martin Decky
(diff)

2010-06-06:

11:36 Sysel edited by Jiri Svoboda
Define what needs to be finished before phase 2. (diff)
11:21 Sysel edited by Jiri Svoboda
Interfaces implemented. Update list of missing SBI features. (diff)

2010-06-04:

10:03 WikiStart edited by Jakub Jermář
(diff)
10:00 WikiStart edited by Jakub Jermář
(diff)
10:00 WikiStart edited by Jakub Jermář
(diff)
09:58 Meetings edited by Jakub Jermář
Update next meeting information. (diff)
09:55 Lab edited by Jakub Jermář
(diff)
09:53 Lab edited by Jakub Jermář
(diff)
09:49 Lab edited by Jakub Jermář
(diff)
09:48 Lab edited by Jakub Jermář
(diff)
09:48 Lab edited by Jakub Jermář
(diff)
09:47 Lab edited by Jakub Jermář
Initial list of machines available for testing. (diff)
09:06 Lab created by Jakub Jermář
09:00 WikiStart edited by Jakub Jermář
Add page for listing equipment available for testing (diff)

2010-06-02:

21:59 Changeset in mainline [bdfd3cdd]lfn by Jakub Jermar <jakub@…>
Support for QEMU,VGA frame buffer on sparc64. (Contributed by Igor …
20:39 Ticket #244 (Exiting thread causes Udebug begin to block forever) closed by Jiri Svoboda
fixed: Fixed in changeset:head,511. In the end the only problem was that we …
20:36 Changeset in mainline [f8d07859]lfn by Jiri Svoboda <jiri@…>
Revert accidental change of optimization level from changeset:head,510.
20:35 Changeset in mainline [0ac99db]lfn by Jiri Svoboda <jiri@…>
Make uspace threads stoppable before they exit. This fixes ticket #244.
18:47 Changeset in mainline [4acaa7c0]lfn by Jiri Svoboda <jiri@…>
Fix incorrect irq spinlock bracketing in kbox_proc_phone_hungup().
06:59 Ticket #245 (Forgotten error handling in vfs_open.) closed by Jakub Jermář
fixed: In changeset:head,509, I added an assertion which checks file is not …
06:59 Changeset in mainline [179d052]lfn by Jakub Jermar <jakub@…>
Assert that file is not NULL in vfs_open().

2010-06-01:

20:53 Changeset in mainline [a32defa]lfn by Lenka Trochtova <trochtova.lenka@…>
Register devices in the device tree by the device mapper so the device …
20:40 Ticket #245 (Forgotten error handling in vfs_open.) created by Tomas Brambora
In vfs_ops.c, function vfs_open there are this two statements: […] …
19:49 Changeset in mainline [ce89036b]lfn by Lenka Trochtova <trochtova.lenka@…>
Add the 'class' namespace to the device mapper. When a driver adds a …
18:23 Ticket #244 (Exiting thread causes Udebug begin to block forever) created by Jiri Svoboda
Tomas Brambora noticed that if task creates a thread, this thread …

2010-05-31:

22:33 Changeset in mainline [1d432f9]lfn by Jakub Jermar <jakub@…>
Reflect assumptions about lock and interrupt state in functions themselves.
20:58 Ticket #243 (ppc32 exception handling broken) created by Jakub Jermář
This problem is described in …
20:28 Changeset in mainline [3a2b636]lfn by Jakub Jermar <jakub@…>
Lock the page tables before working with them on arm32.
19:38 Changeset in mainline [b0b2ac1]lfn by Jakub Jermar <jakub@…>
Lock the page tables before working with them on amd64.
19:09 Changeset in mainline [6e2bf29]lfn by Jakub Jermar <jakub@…>
Lock the page tables before working with them on ppc32.
19:08 Changeset in mainline [e3ce39b]lfn by Jakub Jermar <jakub@…>
Lock the page tables before working with them on ia32.
19:02 Changeset in mainline [a820bf7]lfn by Jakub Jermar <jakub@…>
The kernel address space must locked in find_mapping_and_check() too.

2010-05-30:

21:11 Changeset in mainline [ada559c]lfn by Jakub Jermar <jakub@…>
Add page_table_locked() interface.
21:00 Changeset in mainline [c8e99bb]lfn by Jakub Jermar <jakub@…>
Foolproof version of flush_pipeline(). The %o7 version does not work …

2010-05-29:

08:37 Changeset in mainline [5159ae9]lfn by Lenka Trochtova <trochtova.lenka@…>
Rename 'device_class' structure to a more appropriate 'device_ops'. …

2010-05-28:

15:01 Sysel edited by Jiri Svoboda
(diff)
14:47 Sysel edited by Jiri Svoboda
Visibility control → access control (diff)
14:45 Sysel edited by Jiri Svoboda
Add some reading material (diff)
09:04 Changeset in mainline [692c40cb]lfn by Lenka Trochtova <trochtova.lenka@…>
Introduce device classes.Device class specifies functional type of the …

2010-05-27:

22:36 Ticket #242 (ia64 boot missing) created by Jakub Jermář
The ia64 part of boot/ is completely missing so the ia64 port cannot …
15:16 Changeset in mainline [c9f3b45c]lfn by Lenka Trochtova <trochtova.lenka@…>
devman, libdrv: replace async_string_receive by async_data_write_accept

2010-05-26:

20:25 Changeset in mainline [957cfa58]lfn by Lenka Trochtova <trochtova.lenka@…>
devman - use hash table to lookup device according to its handle.
18:04 Changeset in mainline [313b617]lfn by Jakub Jermar <jakub@…>
Remove spinlock_unlocked() and irq_spinlock_unlocked() interfaces …
15:53 Changeset in mainline [3c664d6]lfn by Martin Decky <martin@…>
fix interpretting variable assignment as a shell command
15:36 Changeset in mainline [cf84f1bf]lfn by Martin Decky <martin@…>
add kernel support for link-time optimization (GCC 4.5+)
15:00 Changeset in mainline [938f227]lfn by Martin Decky <martin@…>
add indentation
14:59 Changeset in mainline [e805e2f]lfn by Martin Decky <martin@…>
use -Werror only in debug builds

2010-05-25:

22:15 Changeset in mainline [ffe4a87]lfn by Jakub Jermar <jakub@…>
Add interfaces for testing the status of plain spinlocks and the IRQ …
21:34 Changeset in mainline [d7da4284]lfn by Jakub Jermar <jakub@…>
Add interface for testing the state of a mutex.
21:33 Changeset in mainline [5df7928]lfn by Jakub Jermar <jakub@…>
Add interface for determining the semaphore count.
21:32 Changeset in mainline [b7398c0]lfn by Jakub Jermar <jakub@…>
Add interfaces for getting and setting the waitq missed_wakeups.
18:35 Changeset in mainline [a9f1372]lfn by Jakub Jermar <jakub@…>
Move the irq_spinlock code to spinlock.c for better debuggability.

2010-05-24:

19:59 Ticket #239 (page_ht_lock mutex taken while tlblock spinlock held) closed by Jakub Jermář
fixed
19:26 Changeset in mainline [0095368]lfn by Jakub Jermar <jakub@…>
Use the commented-out code for panic_printf(). It appears to work …
18:57 Changeset in mainline [da1bafb]lfn by Martin Decky <martin@…>
major code revision - replace spinlocks taken with interrupts …
18:42 Changeset in mainline [666f492]lfn by Martin Decky <martin@…>
cstyle changes

2010-05-23:

10:44 Sysel edited by Jiri Svoboda
Janitorial tasks in SBI (diff)
10:37 Sysel/Ideas edited by Jiri Svoboda
Fix typo (diff)
09:25 Sysel/Ideas edited by Jiri Svoboda
Add explicit interface implementation (diff)

2010-05-22:

22:58 Changeset in mainline [c555155]lfn by Martin Decky <martin@…>
remove duplicate msr_read() and msr_write()
22:56 Changeset in mainline [ffe276f]lfn by Martin Decky <martin@…>
restructure constants change the return type of pic_get_pending() …
22:49 Changeset in mainline [86a3f89b]lfn by Martin Decky <martin@…>
add missing include
22:48 Changeset in mainline [0cb47cf]lfn by Martin Decky <martin@…>
replace shebang comments with C comments to avoid conflicts with the C …
22:33 Changeset in mainline [ba7371f9]lfn by Martin Decky <martin@…>
rename spinlocks to be more descriptive
22:31 Changeset in mainline [d92bf46]lfn by Martin Decky <martin@…>
coding style changes, no change in functionality
22:24 Changeset in mainline [d354d57]lfn by Martin Decky <martin@…>
use fnzb32 or fnzb64 according to the platform
22:20 Changeset in mainline [b8230b9]lfn by Martin Decky <martin@…>
coding style changes, no change in functionality
22:10 Changeset in mainline [3d6beaa]lfn by Martin Decky <martin@…>
get rid of get_ip()
19:56 Changeset in mainline [4bd675d]lfn by Jakub Jermar <jakub@…>
Fix one more use of an obsolete branch instruction.
19:10 Sysel edited by Jiri Svoboda
Static member variables implemented. (diff)
19:04 Changeset in mainline [40239b9]lfn by Jakub Jermar <jakub@…>
Fix a couple of occurrences of obsolete branch instruction with proper …
16:09 Changeset in mainline [0d9dc6b]lfn by Jakub Jermar <jakub@…>
Explicitly specify the medlow mcmodel instead of merely relying on the …
15:49 Changeset in mainline [af24629]lfn by Jakub Jermar <jakub@…>
Fix sparc64 debug build. (Contributed by Igor Kovalenko.)
15:48 Changeset in mainline [c6f6adc]lfn by Jakub Jermar <jakub@…>
Use proper SPARC V9 branch instruction and kill one dispensable NOP.
10:19 Changeset in mainline [eb239dc]lfn by Jakub Jermar <jakub@…>
Add a descriptive comment for THE.
09:24 Changeset in mainline [ecbd287d]lfn by Jakub Jermar <jakub@…>
Merge sparc64 kernel stack tracing improvements.
09:22 Changeset in mainline [7f1d897]lfn by Jakub Jermar <jakub@…>
Create initial stack frames for main_bsp() and main_ap().
09:15 Changeset in mainline [d806ce1]lfn by Jakub Jermar <jakub@…>
Kill more dispensable NOPs.
09:09 Changeset in mainline [c92af69b]lfn by Jakub Jermar <jakub@…>
Create initial stack frames for main_bsp() and main_ap().
08:56 Changeset in mainline [34bf3d5]lfn by Jakub Jermar <jakub@…>
Kill some of the dispensable NOPs.
08:54 Changeset in mainline [71d0d737]lfn by Jakub Jermar <jakub@…>
Uncomment the code which creates the initial stack frame for sparc64 …

2010-05-21:

23:02 Changeset in mainline [7c8e1e1]lfn by Jakub Jermar <jakub@…>
Merge initial support for sparc64 kernel stack tracing.
22:57 Changeset in mainline [0242621]lfn by Jakub Jermar <jakub@…>
Use proper SPARC V9 branch instructions.
22:50 Changeset in mainline [3500f75]lfn by Martin Decky <martin@…>
ppc32: add interrupts_disabled(), simplify CPU identification
22:34 Changeset in mainline [819a768]lfn by Jakub Jermar <jakub@…>
On sparc64, we have a problem with determining the end of the kernel …
21:30 Changeset in mainline [2ee907e]lfn by Jakub Jermar <jakub@…>
Add read_from_ag_g6().
21:23 Changeset in mainline [339249f]lfn by Jakub Jermar <jakub@…>
Fix typo.
20:25 Changeset in mainline [989d3c2]lfn by Jakub Jermar <jakub@…>
Use proper SPARC V9 branch instruction.
19:07 Changeset in mainline [5f0e39e8]lfn by Martin Decky <martin@…>
add missing semicolon
19:04 Changeset in mainline [31198c12]lfn by Martin Decky <martin@…>
get rid of get_ip() and HERE (the functionality is replaced more …
18:53 Changeset in mainline [7de7cde]lfn by Martin Decky <martin@…>
ppc32: add basic support for generating stack traces (this does not …
13:59 Changeset in mainline [d51ee2b]lfn by Lenka Trochtova <trochtova.lenka@…>
parts of supporting code for the dynamic device classes
12:39 Changeset in mainline [8aa9265]lfn by Martin Decky <martin@…>
improve compatibility of interrupts-disabled spinlocks with non-SMP builds
07:50 Changeset in mainline [c47e1a8]lfn by Lenka Trochtova <trochtova.lenka@…>
merge mainline changes (rev. 451)

2010-05-20:

21:25 Changeset in mainline [d0ee0de]lfn by Jakub Jermar <jakub@…>
Add amd64 interrupts_disabled().
21:18 Changeset in mainline [3d948be]lfn by Jakub Jermar <jakub@…>
Add abs32le interrupts_disabled().
21:11 Changeset in mainline [b7aa7c5]lfn by Jakub Jermar <jakub@…>
Add mips32 interrupts_disabled().
20:59 Changeset in mainline [f34c09e]lfn by Jakub Jermar <jakub@…>
Add arm32 interrupts_disabled().
20:58 Changeset in mainline [769a128]lfn by Jakub Jermar <jakub@…>
Fix irq_spinlock_t for non-SMP builds.
20:50 Changeset in mainline [dbd5df1b]lfn by Jakub Jermar <jakub@…>
The condition in ia64 interrupts_disabled() must be actually negated.
20:40 Changeset in mainline [fdb8c17]lfn by Jakub Jermar <jakub@…>
Add ia64 interrupts_disabled().
20:31 Changeset in mainline [bcdc185]lfn by Jakub Jermar <jakub@…>
Add sparc64 interrupts_disabled().
20:24 Changeset in mainline [42bbbe2]lfn by Jakub Jermar <jakub@…>
Include arch/asm.h in spinlock.h
20:22 Sysel edited by Jiri Svoboda
NNPS bootstrap description (diff)
20:08 Sysel edited by Jiri Svoboda
NNPS synopsis (diff)
19:56 Sysel edited by Jiri Svoboda
Remove ideas (diff)
19:54 Sysel/Ideas created by Jiri Svoboda
Move ideas to a separate article
19:46 Sysel edited by Jiri Svoboda
Add synopses for misc ideas (diff)
19:35 Sysel edited by Jiri Svoboda
String language spec (diff)
19:30 Changeset in mainline [2b4a9f26]lfn by Martin Decky <martin@…>
Add interrupts-disabled spinlocks whose purpose is the semantic …
19:11 Sysel edited by Jiri Svoboda
Nit nit. (diff)
19:07 Sysel edited by Jiri Svoboda
Nit. (diff)
19:06 Sysel edited by Jiri Svoboda
Unfinished sentence. (diff)
19:04 Sysel edited by Jiri Svoboda
Introductory word, code organization (diff)
18:26 Changeset in mainline [b10e6e31]lfn by Jakub Jermar <jakub@…>
Remove heavily outdated and unmaintained pieces of in-tree documentation.
16:01 Changeset in mainline [b060ca9]lfn by Martin Decky <martin@…>
add verbose ASSERT macro cleanup
16:00 Changeset in mainline [9e56e65]lfn by Martin Decky <martin@…>
remove obsolete document

2010-05-19:

14:12 FAQ edited by Jakub Jermář
Fix the history reference. (diff)
13:56 FAQ edited by Jakub Jermář
Extend FAQs to contain more advocating Q&A. (diff)

2010-05-18:

20:43 Changeset in mainline [15b592b]lfn by Jiri Svoboda <jiri@…>
It should be 'barebone' not 'bare boned'.

2010-05-14:

19:33 Changeset in mainline [f173404]lfn by Jiri Svoboda <jiri@…>
Fix locking in ipc_kbox_cleanup(). This was a leftover from the time …
19:30 Changeset in mainline [9644c69]lfn by Jakub Jermar <jakub@…>
Do not print the warning if the compatible property does read as 'sun4u'.
19:20 Ticket #241 (ia32 won't boot if there is 2 GB physical memory or more) created by Jiri Svoboda
On ia32 with 2 GB of physical memory or more the kernel will appear …
19:08 Ticket #240 (Zone bound computation in init_e820_memory() is incorrect) created by Jiri Svoboda
On ia32: […] The base is aligned upwards and the size is aligned …
17:29 Changeset in mainline [ba4a63b8]lfn by Jakub Jermar <jakub@…>
Coding style fix.
13:45 Changeset in mainline [cf8cc36]lfn by Lenka Trochtova <trochtova.lenka@…>
get/set parameters of the serial communication (baud rate, parity, …
08:11 Changeset in mainline [04c7003f]lfn by Lenka Trochtova <trochtova.lenka@…>
renamed serial port driver to ns8250, fixed a little bug

2010-05-13:

09:44 Changeset in mainline [c964521]lfn by Jakub Jermar <jakub@…>
Lock the page tables before initiating the TLB shootdown, avoiding …
09:13 Codenames edited by Jakub Jermář
Fix typo. (diff)
08:51 Changeset in mainline [2e4e706]lfn by Martin Decky <martin@…>
cstyle changes (no change in functionality)
08:49 Ticket #239 (page_ht_lock mutex taken while tlblock spinlock held) created by Jakub Jermář
On architectures with the global hash page table (i.e. sparc64 and …

2010-05-12:

23:55 Changeset in mainline [08c88b84]lfn by Jakub Jermar <jakub@…>
sparc64 kernel hooks for stack tracing.
22:56 Changeset in mainline [9929742]lfn by Jakub Jermar <jakub@…>
Modify default options for Serengeti so that it can boot in Simics.
22:52 Changeset in mainline [fa9616b4]lfn by Jakub Jermar <jakub@…>
Split the binaries on RAM disk into two groups: essential and …
21:23 Changeset in mainline [be6cef1b]lfn by Jakub Jermar <jakub@…>
Do not optically separate the branch and the branch delay slot …
20:00 Changeset in mainline [b97b348]lfn by Martin Decky <martin@…>
do not use ofw_quiesce() (it can actually make more harm than good) …
14:36 Changeset in mainline [f619943a]lfn by Lenka Trochtova <trochtova.lenka@…>
set baud rate from test_serial application; fixed a bug
13:49 Changeset in mainline [f4ef3c2]lfn by Lenka Trochtova <trochtova.lenka@…>
add default client connection handler to serial port driver (for …
11:29 Changeset in mainline [f09d891]lfn by Martin Decky <martin@…>
get rid of dummy_load, basic load can be generated by "tester loop1", …
10:22 Changeset in mainline [08d9525a]lfn by Lenka Trochtova <trochtova.lenka@…>
add default handler for client requests which do not use any of the …
08:26 Changeset in mainline [f031713]lfn by Lenka Trochtova <trochtova.lenka@…>
Backout the introduction of the ioctl interface

2010-05-10:

20:48 Ticket #37 (Optionally strip binaries after linking) closed by Jakub Jermář
fixed: Fixed in changeset:head,440.
20:44 Changeset in mainline [6db1e27]lfn by Jakub Jermar <jakub@…>
Strip binaries in non-debug builds.
20:21 Changeset in mainline [1cb092d]lfn by Jakub Jermar <jakub@…>
Prepare to support size-optimized builds and stripped binaries.
19:39 Changeset in mainline [a4125fb1]lfn by Jakub Jermar <jakub@…>
Add support for 'strip' to autotool.py
19:38 Changeset in mainline [52c60b6]lfn by Jakub Jermar <jakub@…>
Fix non-SMP builds.
19:18 Ticket #233 (kbox_proc_phone_hungup() holds spinlocks while taking a mutex) closed by Jiri Svoboda
fixed: Fixed in changeset:head,436. Simply swapped the locking order in …
19:14 Changeset in mainline [c6f0e3a2]lfn by Jiri Svoboda <jiri@…>
Fix lock ordering in kbox_proc_hone_hungup().

2010-05-09:

18:36 Ticket #232 (thread_update_accounting() asserts locking policy which is not adhered to) closed by Jakub Jermář
fixed: Fixed in changeset:head,435.
18:36 Changeset in mainline [e2fcdb1]lfn by Jakub Jermar <jakub@…>
Merge fix for ticket #232.
18:26 Changeset in mainline [cd98e594]lfn by Jakub Jermar <jakub@…>
Lock THREAD before calling thread_update_accounting() from exc_dispatch().
18:23 Changeset in mainline [5e984f2]lfn by Jakub Jermar <jakub@…>
Disable interrupts and lock THREAD before calling …
10:47 Changeset in mainline [4039c77]lfn by Jakub Jermar <jakub@…>
Add assertion to detect attempts to block when hodling a spinlock.
Note: See TracTimeline for information about the timeline view.